4460 search results - page 488 / 892 » Formal methods for interactive systems |
159
click to vote
ER
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
165
click to vote
DBKDA
2009
IEEE
15 years 10 months ago
2009
IEEE
Software systems in health care, such as disease and medical-record management, or financial applications, such as customer relationship and portfolio management, have very often...
174
click to vote
WSC
2004
15 years 8 months ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
179
click to vote
ETT
2002
15 years 6 months ago
2002
In this paper, a method is presented for the efficient estimation of rare-event (buffer overflow) probabilities in queueing networks using importance sampling. Unlike previously pr...
182
click to vote
AUSAI
2010
Springer
15 years 5 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...