2409 search results - page 292 / 482 » Logical systems for structured specifications |
151
click to vote
ENTCS
2008
15 years 4 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
152
Voted
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
Voice over IP (VoIP) systems are gaining in popularity as the technology for transmitting voice traffic over IP networks. As the popularity of VoIP systems increases, they are bei...
157
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Multi-core processors with ever increasing number of cores per chip are becoming prevalent in modern parallel computing. Our goal is to make use of the multi-core as well as multi...
142
click to vote
VLDB
2002
ACM
15 years 3 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
143
Voted
DOCENG
2008
ACM
15 years 6 months ago
2008
ACM
Digital Libraries are complex information systems that involve rich sets of digital objects and their respective metadata, along with multiple organizational structures and servic...