436 search results - page 54 / 88 » Decomposing constraint systems: equivalences and computation... |
JVCA
1998
13 years 8 months ago
1998
: Today's computer animators have access to many systems and techniques to author high quality motion. Unfortunately, available techniques typically produce a particular motio...
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
GG
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
MFCS
1991
Springer
14 years 6 days ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...