236 search results - page 31 / 48 » An Advanced Transaction Model for Recovery Processing of Int... |
AAAI
1993
13 years 9 months ago
1993
Many reported discovery systems build discrete models of hidden structure, properties, or processes in the diverse fields of biology, chemistry, and physics. We show that the sear...
FMICS
2010
Springer
13 years 7 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...
HICSS
2000
IEEE
14 years 1 days ago
2000
IEEE
Advances in geographical information systems (GIS) and supporting data collection technology has resulted in the rapid collection of a huge amount of spatial data. However, known ...
JUCS
2008
13 years 7 months ago
2008
: When the user interface is specified, a picture is worth a thousand words, and the worst thing one can do is write a natural-language specification for it. Because this practice ...
CCGRID
2007
IEEE
14 years 1 months ago
2007
IEEE
The “CyberBridges” pilot project is an innovative model for creating a new generation of scientists and engineers who are capable of fully integrating cyberinfrastructure into...