7167 search results - page 1155 / 1434 » A Technique for Invariant Generation |
260
Voted
CCN
2006
15 years 8 months ago
2006
Unauthorized Bluetooth devices or rogue devices can impersonate legitimate devices through address and link key spoofing. Moreover, they can infiltrate a Bluetooth network and ini...
217
Voted
COOP
2004
15 years 8 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
186
Voted
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling, which limits the choice of available compilation techniques for such...
201
click to vote
CORIA
2006
15 years 8 months ago
2006
The MEDLINE database is the world largest repository of bio-medical abstracts. It is a central information entry point for most biologists despite the growing availability of full-...
188
click to vote
DGO
2004
15 years 8 months ago
2004
The focus of this paper reports a collaborative effort with the State of New Jersey in designing and building a human-centered e-government portal to support small and medium size...