1803 search results - page 115 / 361 » Architectural framework for supporting operating system surv... |
188
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
173
click to vote
PRESENCE
2007
15 years 5 months ago
2007
A distributed virtual environment (DVE) is a software system that allows users on a network to interact with each other by sharing a common view of their states. As users are geog...
166
click to vote
WETICE
2005
IEEE
15 years 12 months ago
2005
IEEE
The globalization of businesses and the cooperation between organizations have brought on an ever increased need for providing support for distributed collaborations. In this pape...
148
click to vote
WSC
2001
15 years 7 months ago
2001
In models of military operations it is important to include the Command and Control (C2) process in order to achieve a realistic simulation of a military force's behaviour an...
170
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...