5451 search results - page 870 / 1091 » Typed Operational Semantics |
126
click to vote
COMPUTING
2006
15 years 4 months ago
2006
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...
149
Voted
ITSSA
2006
15 years 4 months ago
2006
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
136
click to vote
DKE
2007
15 years 4 months ago
2007
Ontology is playing an increasingly important role in knowledge management and the Semantic Web. This study presents a novel episode-based ontology construction mechanism to extra...
114
click to vote
FUIN
2007
15 years 4 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
115
Voted
SIGOPS
2008
15 years 4 months ago
2008
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...