7380 search results - page 794 / 1476 » Engineering Software Intensive Systems |
180
click to vote
UIST
1995
ACM
15 years 11 months ago
1995
ACM
Current user interface techniques such as WIMP or the desktop metaphor do not support real world tasks, because the focus of these user interfaces is only on human–computer inte...
180
click to vote
IESA
2007
15 years 9 months ago
2007
The SAMBA (Systems for AMBient intelligence enabled by Agents) architecture reported here is a conceptual service-oriented architecture supporting the interaction and interoperabil...
185
click to vote
FOSSACS
2008
Springer
15 years 9 months ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
170
click to vote
FOSSACS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
190
click to vote
FOSSACS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...