5675 search results - page 73 / 1135 » Formalising Performative Interaction |
119
Voted
FORTE
2004
15 years 3 months ago
2004
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
111
Voted
IFIP13
2004
15 years 3 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
107
click to vote
ENTCS
2008
15 years 11 days ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
116
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Civil infrastructures are vital elements of a nation’s physical well-being and quality of life because modern economies rely on the services these systems provide to move goods,...
106
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Data-intensive, interactive applications are an important class of metacomputing (Grid) applications. They are characterized by large, time-varying data flows between data provid...