167 search results - page 20 / 34 » Towards a Connector Algebra |
ENTCS
2006
13 years 10 months ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...
ER
2003
Springer
14 years 4 months ago
2003
Springer
In this paper we present a volume data model amenable to querying volumes in databases. Unlike most existing volume models, which are directed towards specific applications (notab...
CN
1999
13 years 10 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
ICRA
2010
IEEE
13 years 9 months ago
2010
IEEE
— In this note, we present initial results towards developing a distributed algorithm for repairing topological holes in the sensor cover of a mobile robot team. Central to our a...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
We believe handwriting input may be able to provide significant advantages over typing, especially in the mathematics learning domain. The use of handwriting may result in decreas...