2409 search results - page 318 / 482 » Logical systems for structured specifications |
153
click to vote
EWSPT
2001
Springer
15 years 8 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
145
Voted
MIXER
2004
15 years 5 months ago
2004
For documentation and development of augmented reality (AR) systems, we propose the use of design patterns. Patterns are structured descriptions of successfully applied problem-so...
246
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
120
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
119
click to vote
AIML
2004
15 years 5 months ago
2004
We are going to show that the standard notion of Kripke completeness is the strongest one among many provably distinct algebraically motivated completeness properties, some of whic...