854 search results - page 130 / 171 » Addressing Dynamic Issues of Program Model Checking |
HOTOS
1999
IEEE
15 years 6 months ago
1999
IEEE
Most modern I/O systems treat each file access independently. However, events in a computer system are driven by programs. Thus, accesses to files occur in consistent patterns and...
118
Voted
EFDBS
2003
15 years 3 months ago
2003
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
107
click to vote
SERP
2004
15 years 3 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
124
Voted
IAT
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, the merging of tw...
113
click to vote
DAIS
2006
15 years 3 months ago
2006
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...