1938 search results - page 24 / 388 » On Positive Relational Calculi |
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
RTA
2005
Springer
14 years 1 months ago
2005
Springer
We consider the relation of the dual calculus of Wadler (2003) to the λµ-calculus of Parigot (1992). We give translations from the λµ-calculus into the dual calculus and back a...
23
Voted
COMPASS
1994
13 years 11 months ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
LOCA
2007
Springer
14 years 1 months ago
2007
Springer
Many context- and location-aware applications request high accuracy and availability of positioning systems. In reality however, knowledge about the current position may be incompl...
INFOCOM
2003
IEEE
14 years 24 days ago
2003
IEEE
— Position information of individual nodes is useful in implementing functions such as routing and querying in ad-hoc networks. Deriving position information by using the capabil...