4418 search results - page 264 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
196
click to vote
IPTPS
2005
Springer
16 years 27 days ago
2005
Springer
Arpeggio is a peer-to-peer file-sharing network based on the Chord lookup primitive. Queries for data whose metadata matches a certain criterion are performed efficiently by using...
200
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
245
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
177
click to vote
NCA
2005
IEEE
16 years 29 days ago
2005
IEEE
This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atom...
211
click to vote
SIBGRAPI
2003
IEEE
16 years 20 days ago
2003
IEEE
This paper presents a new approach based on morphological operators for application of biometric identification of individuals by segmentation and analysis of the iris. Algorithms ...