55 search results - page 4 / 11 » Timed Concurrent Constraint Programming for Analysing Biolog... |
78
Voted
ENTCS
2006
14 years 9 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
CP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
108
click to vote
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...