Sciweavers

840 search results - page 148 / 168
» A low-complexity issue logic
Sort
View
SIGCOMM
2010
ACM
13 years 10 months ago
The case for active device drivers
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...
Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser
AI
2008
Springer
13 years 10 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
SOFTWARE
2002
13 years 9 months ago
Modeling with a Sense of Purpose
is the level of abstraction: a logical model ignores the constraints that the underlying database technology imposes and presents a simplified view. Sometimes physical database des...
John Daniels
JUCS
2010
214views more  JUCS 2010»
13 years 8 months ago
Multi-Device Context-Aware RIAs Using a Model-Driven Approach
: Model-Driven Development concepts are exhibiting as a good engineering solution for the design of ubiquitous applications with multi-device user interfaces and other contextaware...
Marino Linaje Trigueros, Juan Carlos Preciado, Fer...
EMSOFT
2011
Springer
12 years 9 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann