5251 search results - page 911 / 1051 » A Framework for Ontology Integration |
104
click to vote
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates tha...
118
click to vote
ATVA
2004
Springer
15 years 5 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
123
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Decentralized partially observable Markov decision processes (DEC-POMDPs) form a general framework for planning for groups of cooperating agents that inhabit a stochastic and part...
126
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
111
click to vote
BPM
2006
Springer
15 years 5 months ago
2006
Springer
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after ar...