3765 search results - page 194 / 753 » Qualitative Action Systems |
169
click to vote
DIMVA
2004
15 years 6 months ago
2004
: Large Critical Complex Infrastructures are increasingly dependent on IP networks. Reliability by redundancy and tolerance are an imperative for such dependable networks. In order...
180
click to vote
SBBD
2003
15 years 6 months ago
2003
Advanced personalization of database applications is a big challenge, in particular for distributed mobile environments. We present several new results from a prototype of a route...
140
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
161
click to vote
CLIMA
2006
15 years 6 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
111
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...