3824 search results - page 551 / 765 » Geometry Constructions Language |
113
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
112
click to vote
PEPM
2009
ACM
16 years 13 days ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
101
click to vote
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
— The increasing availability of sensing devices has made the possibility of context-aware pervasive computing applications real. However, constructing this software requires ext...
123
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
125
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...