1179 search results - page 44 / 236 » Programming in Hybrid Constraint Languages |
CLIMA
2007
13 years 11 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
EMSOFT
2001
Springer
14 years 2 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
The availability of commodity multi-core and multi-processor machinesandtheinherentparallelisminconstraintprogrammingsearchoffer significant opportunities for constraint programmi...
SAC
2010
ACM
13 years 10 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
ENTCS
2007
13 years 10 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...