1615 search results - page 52 / 323 » Adaptive programming in JAsCo |
ICALP
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
AMI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
DAIS
2006
13 years 11 months ago
2006
Abstract. Aspect-Oriented Programming (AOP) promotes better separation of concerns in software systems by introducing aspects for the modular implementation of crosscutting concern...
ITICSE
2006
ACM
14 years 4 months ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
IFIP
2003
Springer
14 years 3 months ago
2003
Springer