António Casimiro
António Casimiro
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
Email verificata su di.fc.ul.pt
Titolo
Citata da
Citata da
Anno
The timely computing base model and architecture
P Veríssimo, A Casimiro
IEEE Transactions on Computers 51 (8), 916-930, 2002
1812002
Cesiumspray: a precise and accurate global time service for large-scale systems
P Verissimo, L Rodrigues, A Casimiro
Real-Time Systems 12 (3), 243-294, 1997
1791997
The timely computing base: Timely actions in the presence of uncertain timeliness
P Verissimo, A Casimiro, C Fetzer
Proceeding International Conference on Dependable Systems and Networks. DSN …, 2000
1182000
Cortex: Towards supporting autonomous and cooperating sentient entities
P Verissimo, V Cahill, A Casimiro, K Cheverst, A Friday, J Kaiser
Proceedings of European Wireless 2002 (EW2002), 595-601, 2002
792002
Using the timely computing base for dependable qos adaptation
A Casimiro, P Verissimo
Proceedings 20th IEEE Symposium on Reliable Distributed Systems, 208-217, 2001
632001
How to build a timely computing base using real-time linux
A Casimiro, P Martins, P Verissimo
2000 IEEE International Workshop on Factory Communication Systems …, 2000
552000
GISolve: A grid-based problem solving environment for computationally intensive geographic information analysis
S Wang, MP Armstrong, J Ni, Y Liu
CLADE 2005. Proceedings Challenges of Large Applications in Distributed …, 2005
382005
Event-driven support of real-time sentient objects
P Veríssimo, A Casimiro
Proceedings of the Eighth International Workshop on Object-Oriented Real …, 2003
282003
Timing failure detection with a timely computing base
A Casimiro, P Verissimo
Department of Informatics, University of Lisbon, 1999
261999
An architectural framework and a middleware for cooperating smart components
A Casimiro, J Kaiser, P Verissimo
Proceedings of the 1st conference on Computing frontiers, 28-39, 2004
232004
The timely computing base. DI
P Verıssimo, A Casimiro
FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr …, 1999
22*1999
A survey on data quality for dependable monitoring in wireless sensor networks
G Jesus, A Casimiro, A Oliveira
Sensors 17 (9), 2010, 2017
212017
The karyon project: Predictable and safe coordination in cooperative vehicular systems
A Casimiro, J Kaiser, EM Schiller, P Costa, J Parizi, R Johansson, ...
2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks …, 2013
212013
Priority-based totally ordered multicast
L Rodrigues, P Veríssimo, A Casimiro
IFAC Proceedings Volumes 28 (5), 351-359, 1995
201995
Using atomic broadcast to implement a posteriori agreement for clock synchronization
L Rodrigues, P Veríssimo, A Casimiro
Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems, 115-124, 1993
191993
A framework for dependable QoS adaptation in probabilistic environments
A Casimiro, P Lollini, M Dixit, A Bondavalli, P Veríssimo
Proceedings of the 2008 ACM symposium on Applied computing, 2192-2196, 2008
182008
Generic timing fault tolerance using a timely computing base
A Casimiro, P Verissimo
Proceedings International Conference on Dependable Systems and Networks, 27-36, 2002
172002
A kernel-based architecture for safe cooperative vehicular functions
A Casimiro, J Rufino, RC Pinto, E Vial, EM Schiller, O Morales-Ponce, ...
Proceedings of the 9th IEEE International Symposium on Industrial Embedded …, 2014
152014
Adaptare-FD: A dependability-oriented adaptive failure detector
M Dixit, A Casimiro
2010 29th IEEE Symposium on Reliable Distributed Systems, 141-147, 2010
152010
Measuring distributed durations with stable errors
A Casimiro, P Martins, P Veríssimo, L Rodrigues
Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001)(Cat. No …, 2001
152001
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20