4418 search results - page 40 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
152
click to vote
NOSSDAV
2005
Springer
15 years 9 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
156
Voted
AINA
2010
IEEE
15 years 8 months ago
2010
IEEE
One of the major premises of P2P systems is to enable fully decentralized collaborative functionalities for supporting work teams and P2P communities. Within collaborative systems,...
154
Voted
JOT
2008
15 years 3 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
115
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
A system is described for creating paper documents that show images of presentation slides and bar codes that point to a multimedia recording of a presentation that has not yet oc...
162
click to vote
DSRT
2008
IEEE
15 years 5 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...