1992 search results - page 304 / 399 » Model Based Testing with Labelled Transition Systems |
152
click to vote
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
—Epidemic models based on nonlinear differential equations have been extensively applied in a variety of systems as diverse as infectious outbreaks, marketing, diffusion of belie...
129
click to vote
CAEPIA
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...
107
click to vote
HT
2010
ACM
15 years 8 months ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...
139
click to vote
RTAS
2007
IEEE
15 years 9 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
124
click to vote
SRDS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we investigate dependability issues of nextgeneration distributed multimedia applications. Examples of such applications are autonomous vehicle control, telemedicine...