3428 search results - page 103 / 686 » Making the Case |
HYBRID
1994
Springer
15 years 2 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
ICWSM
2008
2008
The Psychology of Blogging Communities: Social Identities and Knowledge Transfer across Work- Groups
15 years 4 days ago
In this article, we propose that blog communities can enhance knowledge transfer in organization. They do so by shaping bloggers' group (subordinate) and organizational (supe...
AIL
2005
14 years 10 months ago
2005
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we provide a reconstruction of the reasoning of the majority and dissen...
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
ACSW
2004
15 years 4 days ago
2004
This paper examines the security aspects of different pervasive scenarios involving agent communities evolved using multi agent systems (MAS). It describes the motivation and the ...