1714 search results - page 198 / 343 » Abstract Models of Memory Management |
124
Voted
WEBDB
2000
Springer
15 years 7 months ago
2000
Springer
Web Modeling Language (WebML, http://webml.org) is a notation for visually specifying complex Web sites at the conceptual level. All the concepts of WebML are specified both graph...
159
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
155
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- Studies on dynamic real-time optimization (DRTO) of waterflooding strategies in petroleum reservoirs have demonstrated that there exists a large potential to improve eco...
116
Voted
ICAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Shared computing utilities allocate compute, network, and storage resources to competing applications on demand. An awareness of the demands and behaviors of the hosted...
132
Voted
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
Navigation has always been an interdisciplinary topic of research, because mobile agents of different types are inevitably faced with similar navigational problems. Therefore, huma...