10038 search results - page 1974 / 2008 » Model Checking for Managers |
ELPUB
1998
ACM
14 years 2 months ago
1998
ACM
This paper presents the experience gained in work on two current Bulgarian projects aiming at the development of electronic resources for South-East European Studies, Slavic studi...
ELPUB
1998
ACM
14 years 2 months ago
1998
ACM
The content and structure of an electronically published document can be authored and processed in ways that allow for flexibility in presentation on different environments for di...
CHI
1997
ACM
14 years 2 months ago
1997
ACM
the changing roles of participants in a musical improvisation and synchronously generate appropriate contributions of its own. Musical improvisation is a collaborative activity ana...
AGENTS
1997
Springer
14 years 2 months ago
1997
Springer
The Patient Advocate is designed to be an intelligent assistant for patient-centered health care. Residing on a home computer or special-purpose device and operating within an ext...
ECBS
1996
IEEE
14 years 2 months ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...