4099 search results - page 709 / 820 » A Framework for Interactive Proof |
136
click to vote
PERVASIVE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Many work environments can benefit from integrated computing devices to provide information to users, record users’ actions, and prompt users about the next steps to t...
138
click to vote
PROMAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
151
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
141
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
132
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The implementation of computerized workflow systems to support the collection and dissemination of patient information has been an area of focus in healthcare for many years. This...