1432 search results - page 84 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
109
click to vote
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Architectural principles such as loose coupling are the key drivers behind the adoption of service-oriented architectures. Service-oriented architectures promote concepts such as c...
144
Voted
MOBICOM
2004
ACM
15 years 8 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eï...
178
click to vote
DICS
2006
15 years 7 months ago
2006
Virtual laboratories can be characterized by their long-lasting, large-scale computations, where a collection of heterogeneous tools is integrated into data processing pipelines. S...
105
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
123
Voted
CCR
2004
15 years 3 months ago
2004
To provide insight into Internet operation and performance, recent efforts have measured various aspects of the Internet, developing and improving measurement tools in the process....