1288 search results - page 148 / 258 » On Analysis of Design Component Contracts: A Case Study |
128
click to vote
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...
109
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present the Stack Trace Analysis Tool (STAT) to aid in debugging extreme-scale applications. STAT can reduce problem exploration spaces from thousands of processes to a few by ...
114
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
— We present a detailed analysis of the loss performance in an optical buffer having access to a single outgoing channel. Such a system - consisting of a number of fiber delay li...
114
click to vote
GCB
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: Graphs are often used to describe and analyze the geometry and physicochemical composition of biomolecular structures, such as chemical compounds and protein active sites...
137
click to vote
FORTE
2003
15 years 3 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...