854 search results - page 160 / 171 » Addressing Dynamic Issues of Program Model Checking |
104
click to vote
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
115
click to vote
CACM
1998
14 years 11 months ago
1998
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
96
Voted
MSOM
2010
14 years 6 months ago
2010
The Vaccine and Related Biologic Products Advisory Committee meets at least once a year to decide the composition of the influenza vaccine in the U.S. Past evidence suggests that ...
115
click to vote
DIGRA
2005
Springer
15 years 5 months ago
2005
Springer
Building on the work of games theorists and virtual world designers, this paper proposes a framework for understanding the real-virtual dichotomy in terms of a series of five fram...
136
Voted
CONCUR
1998
Springer
15 years 3 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...