6167 search results - page 987 / 1234 » Can Refinement be Automated |
83
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
106
Voted
NDSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Worms are arguably the most serious security threat facing the Internet. Seeking a detection technique that is both sufficiently efficient and accurate to enable automatic conta...
97
Voted
SADFE
2005
IEEE
15 years 6 months ago
2005
IEEE
With the rapid development of electronic commerce and Internet technology, cyber crimes have become more and more common. There is a great need for automated software systems that...
91
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
104
Voted
TRIDENTCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
A global Internet overlay testbed is being deployed to support the distributed, shared use of resources for network research. The Global X-Bone (GX-Bone) augments the X-Bone softw...