1398 search results - page 22 / 280 » Ensuring Properties of Interaction Systems |
FSEN
2007
Springer
15 years 3 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
TCAD
1998
14 years 9 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
68
Voted
JUCS
2008
14 years 9 months ago
2008
: The evaluation of interactive systems has been an active subject of research for many years. Many methods and tools have been proposed but most of them do not take architectural ...
COMPOS
1997
Springer
15 years 1 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
107
click to vote
C5
2004
IEEE
15 years 1 months ago
2004
IEEE
We describe a design for a collaborative Virtual Learning Environment (VLE) to support massively multi-user and multi-institutional learning communities. This architecture extends...