4418 search results - page 264 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
173
click to vote
IPTPS
2005
Springer
16 years 4 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...
176
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...
213
click to vote
EMSOFT
2007
Springer
16 years 24 days 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...
149
click to vote
NCA
2005
IEEE
16 years 6 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...
186
click to vote
SIBGRAPI
2003
IEEE
15 years 12 months 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 ...