2513 search results - page 100 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
139
click to vote
CISIS
2011
IEEE
13 years 10 months ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...
ICRE
1998
IEEE
15 years 2 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
SERP
2004
14 years 11 months ago
2004
This paper presents the motivation as well as the development for Dynasty, a 3-D game. Dynasty is a multiplayer 3D first person shooter game that is based in Ancient China. Player...
SIGSOFT
1994
ACM
15 years 2 months ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....