António Casimiro Ferreira da Costa


AuthID: R-000-1Z5

Confirmed Publications: 85



71
TITLE: A New Programming Model for Dependable Adaptive Real-Time Applications  Full Text
AUTHORS: Pedro Martins; Paulo Sousa; Antonio Casimiro ; Paulo Veríssimo ;
PUBLISHED: 2005, SOURCE: IEEE Distributed Systems Online, VOLUME: 6, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
72
TITLE: An architectural framework and a middleware for cooperating smart components
AUTHORS: Casimiro, A ; Kaiser, J; Verissimo, P ;
PUBLISHED: 2004, SOURCE: 2004 Computing Frontiers Conference in 2004 Computing Frontiers Conference
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
73
TITLE: Dependable adaptive real-time applications in wormhole-based systems
AUTHORS: Martins, P; Sousa, P; Casimiro, A ; Verissimo, P ;
PUBLISHED: 2004, SOURCE: International Conference on Dependable Systems and Networks in 2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
74
TITLE: Event-driven support of real-time sentient objects  Full Text
AUTHORS: Verissimo, P ; Casimiro, A ;
PUBLISHED: 2003, SOURCE: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003) in EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
75
TITLE: Generic timing fault tolerance using a timely computing base
AUTHORS: Casimiro, A ; Verissimo, P ;
PUBLISHED: 2002, SOURCE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
76
TITLE: The timely computing base model and architecture
AUTHORS: Verissimo, P ; Casimiro, A ;
PUBLISHED: 2002, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 51, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
77
TITLE: Using atomic broadcast to implement a posteriori agreement for clock synchronization
AUTHORS: Rodrigues, L; Verissimo, P; Casimiro, A ;
PUBLISHED: 2002, SOURCE: Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems
INDEXED IN: CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
78
TITLE: Measuring distributed durations with stable errors
AUTHORS: Casimiro, A ; Martins, P; Verissimo, P ; Rodrigues, L ;
PUBLISHED: 2001, SOURCE: 22nd IEEE Real-Time Systems Symposium (RTSS 2001) in 22ND IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
79
TITLE: Using the Timely Computing Base for Dependable QoS adaptation  Full Text
AUTHORS: Casimiro, A ; Verissimo, P ;
PUBLISHED: 2001, SOURCE: 20th IEEE Symposium on Reliable Distributed Systems (SRDS 2001) in 20TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 17
IN MY: ORCID | CIÊNCIAVITAE
80
TITLE: How to build a timely computing base using real-time Linux
AUTHORS: Casimiro, A ; Martins, P; Verissimo, P ;
PUBLISHED: 2000, SOURCE: 3rd IEEE International Workshop on Factory Communications Systems (WFCS 2000) in 2000 IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 8 of 9. Total results: 85.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service