2696 search results - page 435 / 540 » Semantic Abstraction and Anaphora |
150
click to vote
ESOP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
160
click to vote
FCT
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
170
click to vote
FMCO
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
147
click to vote
GPCE
2007
Springer
16 years 14 days ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
153
click to vote
ICDT
2007
ACM
16 years 14 days ago
2007
ACM
Abstract. In many cases, users may want to consider incomplete answers to their queries. Often, however, there is an overwhelming number of such answers, even if subsumed answers a...