506 search results - page 79 / 102 » Network Engineering for Complex Belief Networks |
167
click to vote
CBSQ
2003
Springer
15 years 8 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
128
click to vote
AUIC
2004
IEEE
15 years 7 months ago
2004
IEEE
In the not too distant future Intelligent Creatures (robots, smart devices, smart vehicles, smart buildings, etc) will share the everyday living environment of human beings. It is...
132
Voted
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
138
Voted
BIRTHDAY
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
133
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...