3008 search results - page 420 / 602 » Mechanisms for Importing Modules |
160
click to vote
COMPSAC
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
150
click to vote
ETFA
2006
IEEE
16 years 10 days ago
2006
IEEE
In the context of distributed real-time systems as deployed in the avionic and the automotive domain a substantial number of system malfunctions result from connector faults. For ...
178
click to vote
FOCS
2006
IEEE
16 years 10 days ago
2006
IEEE
Spin systems are a general way to describe local interactions between nodes in a graph. In statistical mechanics, spin systems are often used as a model for physical systems. In c...
159
click to vote
GLOBECOM
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract— Despite the emergence of voice over IP and videoconferencing services, recent studies have shown that the Internet still may not provide acceptable quality for interact...
149
click to vote
HICSS
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper describes the initial findings of a case study intended to identify important organizational catalysts and impediments to implementing and using security technologies a...