4341 search results - page 299 / 869 » Quantitative Model checking |
154
click to vote
PPL
2008
15 years 6 months ago
2008
This paper investigates the influence of the interconnection network topology of a parallel system on the delivery time of an ensemble of messages, called the communication scheme...
197
click to vote
BIOINFORMATICS
2002
15 years 6 months ago
2002
Motivation: There has been considerable interest in developing computational techniques for inferring genetic regulatory networks from whole-genome expression profiles. When expre...
170
click to vote
UM
2001
Springer
15 years 11 months 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...
173
click to vote
ANSS
2006
IEEE
16 years 23 days ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
170
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...