1368 search results - page 218 / 274 » Personality-Based Practical Reasoning |
103
click to vote
JSS
2006
15 years 1 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
106
click to vote
JSS
2006
15 years 1 months ago
2006
Many claims have been made about the consequences of not documenting design rationale. The general perception is that designers and architects usually do not fully understand the ...
103
click to vote
FMSD
2007
15 years 1 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
107
click to vote
OR
2006
Springer
15 years 1 months ago
2006
Springer
Given that contractor plays a critical role in any construction project, contractor selection constitutes key decision for public authorities. Prequalification, i.e. the eliminati...
ALGORITHMICA
2005
15 years 1 months ago
2005
Let s be the ratio of the cost for purchasing skis over the cost for renting them. Then the famous result for the ski-rental problem shows that skiers should buy their skis after r...