10038 search results - page 1848 / 2008 » Model Checking for Managers |
102
click to vote
VMV
2003
15 years 5 months ago
2003
We present a new integrated tool, DERMA, which allows to measure and assess the time evolution of chronic wounds. A laser triangulation 3D scanner is used to acquire the wound geo...
139
click to vote
DOA
2000
15 years 5 months ago
2000
An increasing number of applications are being developed using distributed object computing middleware, such as CORBA. Many of these applications require the underlying middleware...
138
click to vote
EFDBS
2000
15 years 5 months ago
2000
The generation of hypermedia (or Web-based) presentations plays an important role in information management on the World Wide Web. In applications for Web modeling and querying, in...
101
click to vote
ICMAS
1998
15 years 5 months ago
1998
We investigate coordination issues in a distributed jobshop scheduling system in which agents schedulepotentially contentious activities asynchronously in parallel. Agents in such...
172
click to vote
IWEB
1998
15 years 5 months ago
1998
In this paper we introduce a workflow management system, called WebFlow, which is based on the world wide web and Java as its basic technologies. Java is used as the build time (m...