Sciweavers

172 search results - page 25 / 35
» How to Specialize by Theory Refinement
Sort
View
84
Voted
VALUETOOLS
2006
ACM
111views Hardware» more  VALUETOOLS 2006»
15 years 3 months ago
Stability of multi-class queueing systems with state-dependent service rates
We examine the stability of multi-class queueing systems with the special feature that the service rates of the various classes depend on the number of users present of each of th...
Matthieu Jonckheere, Sem C. Borst
66
Voted
ATAL
2005
Springer
15 years 3 months ago
Dynamic epistemic logic with assignment
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
PDC
2004
ACM
15 years 3 months ago
Socio-technical walkthrough: designing technology along work processes
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
Thomas Herrmann, Gabriele Kunau, Kai-Uwe Loser, Na...
AGENTS
2001
Springer
15 years 2 months ago
Representing social structures in UML
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
H. Van Dyke Parunak, James Odell
SSD
1997
Springer
103views Database» more  SSD 1997»
15 years 1 months ago
Vague Regions
Abstract: In many geographical applications there is a need to model spatial phenomena not simply by sharp objects but rather through indeterminate or vague concepts. To support su...
Martin Erwig, Markus Schneider