1712 search results - page 80 / 343 » Abstract Constraint Data Types |
124
Voted
OPODIS
2004
15 years 4 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
127
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
120
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the
144
Voted
CIDM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— A Bayes net has qualitative and quantitative aspects: The qualitative aspect is its graphical structure that corresponds to correlations among the variables in the Baye...
127
Voted
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
In order to handle device matching in analog circuits, some pairs of modules are required to be placed symmetrically. This paper addresses this device-level placement problem for ...