1837 search results - page 169 / 368 » Abstraction and the C Machine Model |
172
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
182
click to vote
OTM
2005
Springer
16 years 1 days 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...
182
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
It is not uncommon for modern systems to be composed of a variety of interacting services, running across multiple machines in such a way that most developers do not really unders...
170
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we introduce the fractal summarization model based on the fractal theory. In fractal summarization, the important information is captured from the source text by ex...
173
click to vote
JMLC
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...