Sciweavers

3868 search results - page 42 / 774
» Open Systems in TLA
Sort
View
ATAL
2003
Springer
15 years 11 months ago
Interaction is meaning: a new model for communication in open systems
Michael Rovatsos, Matthias Nickles, Gerhard Wei&sz...
ESAW
2003
Springer
15 years 11 months ago
Engineering Democracy in Open Agent Systems
Peter McBurney, Simon Parsons
APSEC
2002
IEEE
15 years 11 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
HICSS
2002
IEEE
75views Biometrics» more  HICSS 2002»
15 years 11 months ago
Intellectual Property and Open Systems
Richard O. Mason