12981 search results - page 613 / 2597 » Model Checking (Abstract) |
197
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
200
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
Although it is possible to present XML Schema graphically, resentations do not raise the level of abstraction for XML schemata in the same way traditional conceptual models raise t...
174
Voted
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
—Microarray technology has provided an opportunity to simultaneously monitor the expression levels of a large number of genes in response to intentional perturbations. A necessar...
196
click to vote
SPAA
2005
ACM
16 years 1 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
247
click to vote
ADAEUROPE
2005
Springer
16 years 1 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...