1412 search results - page 79 / 283 » types 2004 |
105
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
We can use Business Process Modeling (BPM) tools for modeling the organizational structure, however, there are many imperfections in the existing BPM tools that hinder the process ...
110
Voted
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
107
Voted
CIVR
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a CBIR system that is based on a segmented representation of image content. It compares regional features using fuzzy similarity, which have been shown to be ps...
133
Voted
DAGM
2004
Springer
15 years 8 months ago
2004
Springer
This work addresses the two major drawbacks of current statistical uncertain geometric reasoning approaches. In the first part a framework is presented, that allows to represent u...
128
click to vote
DALT
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...