5377 search results - page 634 / 1076 » Programming Languages For Interactive Computing |
207
click to vote
TOOLS
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
222
click to vote
CD
2005
Springer
16 years 1 months ago
2005
Springer
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall av...
198
click to vote
ICALP
2010
Springer
16 years 12 days ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
199
click to vote
IFIP
2001
Springer
16 years 1 days ago
2001
Springer
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
194
click to vote
UM
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. In this paper, we address the problem of providing guidelines to designers of mixed-initiative artificial intelligence systems, which specify when the system should take...