9974 search results - page 1353 / 1995 » Software Interconnection Models |
177
click to vote
IESA
2007
15 years 8 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...
168
click to vote
FOSSACS
2008
Springer
15 years 8 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...
186
click to vote
FOSSACS
2008
Springer
15 years 8 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...
220
click to vote
SPLC
2010
15 years 8 months ago
2010
Groupware are computer-based systems designed to support groups of people working together providing a shared environment. Given that developing this kind of application is not a t...
183
click to vote
HCI
2007
15 years 8 months ago
2007
: This paper describes an approach to integrate UCD activities into the existing Software Engineering practices and processes. The aim is to use the outcomes of UCD activities thro...