Sciweavers

ECSCW
1997
13 years 5 months ago
On Distribution, Drift and the Electronic Medical Record: Some Tools for a Sociology of the Formal
: Formal tools (i.e , tools that operate on circumscribed input using rules, and that contain a model of the workplace in which are to function) are attributed central roles in org...
Marc Berg
EMSOFT
2006
Springer
13 years 6 months ago
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
Venkita Subramonian, Christopher D. Gill, Cé...