1031 search results - page 98 / 207 » A Process Framework for Semantics-Aware Tourism Information ... |
TACS
1997
Springer
14 years 9 days ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
ICEIS
1999
IEEE
14 years 14 days ago
1999
IEEE
Group Decision Support Systems (GDSS) present important limitations that constrain their usage in current organisations. The fundamental reason is the lack of integration in the c...
CIKM
2006
Springer
13 years 12 months ago
2006
Springer
By providing an integrated and optimized support for user-defined aggregates (UDAs), data stream management systems (DSMS) can achieve superior power and generality while preservi...
CLEIEJ
2010
13 years 5 months ago
2010
Component-based software development needs to formalize a process of generation, evaluation and selection of Composite COTS-based Software Systems (CCSS), enabling software archit...
DAGM
2001
Springer
14 years 20 days ago
2001
Springer
In this paper we introduce a formalism for optimal camera parameter selection for iterative state estimation. We consider a framework based on Shannon’s information theory and se...