7892 search results - page 50 / 1579 » Programming with Models |
109
click to vote
CAV
2007
Springer
15 years 5 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
108
click to vote
ASPLOS
1998
ACM
15 years 5 months ago
1998
ACM
Several application and technology trends indicate that it might be both pro table and feasible to move computation closer to the data that it processes. In this paper, we evaluat...
207
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
DCOSS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...
113
click to vote
ICECCS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...