12981 search results - page 2528 / 2597 » Model Checking and Abstraction |
130
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...
106
click to vote
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
122
click to vote
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
107
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...