892 search results - page 63 / 179 » Action respecting embedding |
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
CHI
2002
ACM
14 years 10 months ago
2002
ACM
In this study, we analyzed people's conceptions of AIBO, a robotic pet, through their spontaneous postings in online AIBO discussion forums. Results showed that AIBO psycholo...
EJIS
2008
13 years 10 months ago
2008
Despite the increasing popularity of mobile information systems, the actual processes leading to the innovation of mobile technologies remain largely unexplored. This study uses A...
CALCO
2009
Springer
14 years 4 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...