Search this site:
Cracs
Home
Sobre Cracs
Temas de investigação
Publicações
Publications by Year
Publications by Type
Publications Filter
Publications at Authenticus
Atividades
Members
Software
Opportunities
Contactos
Site Map
Documentos
Affiliation
DCC
FCUP
Universidade do Porto
Inesc-Porto LA
Agenda
Latest News
Eventos
Cracs Calendar
Username:
*
Password:
*
Request new password
Home
›
Publicações
› Publications by Year
CRACS Publicatons
List
Filter
Export 16 results:
BibTex
Sort by:
Author
Title
[
Year
]
Filters:
Taxonomy Term
is
Technical Reports
[Clear All Filters]
2011
Tiago Cogumbreiro
and
Pedro Gomes
and
Francisco Martins
and
Luís Lopes
"
Safe-By-Design Programming Languages for Wireless Sensor Networks
"
, DCC-FC, Universidade do Porto, June 2011.
BibTex
Rolando Martins
and
Priya Narasimhan
and
Luís Lopes
and
Fernando Silva
"
Lightweight Fault-Tolerance for Peer-to-Peer Middleware
"
, DCC-FC, Universidade do Porto, January 2011.
BibTex
2010
Luís Lopes
and
Francisco Martins
"
A Semantically Robust Framework for Programming Wireless Sensor Networks
"
, DCC-FC, Universidade do Porto, March 2010.
BibTex
José Paulo Leal
and
Ricardo Queirós
and
Duarte Ferreira
"
A Contribution to the E-Framework – a Specification of a Programming Exercise Evaluation Service
"
, DCC-FC, Universidade do Porto, June 2010.
BibTex
Rolando Martins
and
Priya Narasimhan
and
Luís Lopes
and
Fernando Silva
"
On the Impact of Fault-Tolerance Mechanisms in a Peer-to-Peer Middleware
"
, DCC-FC, Universidade do Porto, April 2010.
BibTex
2008
Hervé Paulino
and
Luís Lopes
"
The Mob core language and abstract machine (rev 0.2)
"
, Cornell University Library (Computing Research Repository - CoRR), October 2008.
BibTex
Francisco Martins
and
Luís Lopes
and
Miguel S. Silva
and
João Barros
"
Robust Programming for Sensor Networks
"
, DCC-FC, Universidade do Porto, March 2008.
BibTex
Rolando Martins
and
Luís Lopes
and
Fernando Silva
"
A Peer-to-Peer Middleware Platform for Fault-Tolerant, QoS, Real-Time Computing
"
, DCC-FC, Universidade do Porto, April 2008.
BibTex
2007
Pedro Pereira
and
Nuno A. Fonseca
and
Fernando Silva
"
Fast Discovery of Statistically Interesting Words
"
, DCC-FC & LIACC, Universidade do Porto, January 2007.
BibTex
Mário Antunes
and
Manuel Eduardo Correia
"
A Network Intrusion Detection System based on the Tunable Activation Threshold theory
"
, DCC-FC & LIACC, Universidade do Porto, April 2007.
BibTex
2006
Sérgio Bessa
and
Manuel Eduardo Correia
and
Pedro Brandão
"
Simulation of a DHT protocol on a very large overlay network.
"
, DCC-FCUP University of Porto, October 2006.
BibTex
Mário Antunes
and
Manuel Eduardo Correia
"
Towards a new Immunity-Inspired Intrusion Detection Framework
"
, DCC-FC & LIACC, Universidade do Porto, October 2006.
BibTex
Ricardo Silva
and
Luís Lopes
"
A Debugger for a Programming Language Based on a Process-Calculus
"
, DCC-FC & LIACC, Universidade do Porto, May 2006.
BibTex
Mário Antunes
and
Manuel Eduardo Correia
"
O sistema imunitário humano, conceitos e princípios básicos para informáticos.
"
, DCC-FC & LIACC, Universidade do Porto, May 2006.
BibTex
Miguel S. Silva
and
Francisco Martins
and
Luís Lopes
and
João Barros
"
A Calculus for Sensor Networks
"
, Cornell University Library (Computing Research Repository - CoRR), December 2006.
BibTex
Pedro Pereira
and
Nuno A. Fonseca
and
Fernando Silva
"
A High Performance Distributed Tool for Mining Patterns in Biological Sequences
"
, DCC-FC & LIACC, Universidade do Porto, December 2006.
BibTex
Cracs Calendar
«
December
»
M
T
W
T
F
S
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31