21430 search results - page 3832 / 4286 » Abstract Effective Models |
165
click to vote
ATVA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
185
click to vote
AVBPA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We propose a relevance feedback system for retrieving a mental face picture from a large image database. This scenario differs from standard image retrieval since the ta...
201
click to vote
BPM
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. One of the most difficult obstacles Web Services have to overcome in the attempt to exploit the true potential of the World Wide Web is heterogeneity. Caused by the natur...
196
click to vote
CAISE
2005
Springer
16 years 12 days ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
172
click to vote
CAISE
2005
Springer
16 years 12 days ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...