2125 search results - page 398 / 425 » Points with Type-2 Operations |
112
click to vote
ASIAN
1998
Springer
15 years 6 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
126
click to vote
TACAS
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
AGENTS
1997
Springer
15 years 5 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...
144
Voted
ECBS
1996
IEEE
15 years 5 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...
109
click to vote
PDIS
1994
IEEE
15 years 5 months ago
1994
IEEE
Constructing scalable high-performance applications on commodity hardware running the Unix operating system is a problem that must be addressed in several application domains. We ...