2714 search results - page 259 / 543 » A Service-Oriented Approach for Model Management |
135
click to vote
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
126
click to vote
ADVIS
2000
Springer
15 years 8 months ago
2000
Springer
Modern applications demand support for a large number of clients and require large scale storage subsystems. This paper presents a theoretical model of prefetching and caching of s...
139
click to vote
CHI
1998
ACM
15 years 8 months ago
1998
ACM
Designers and researchers of human-computer interaction need tools that permit the rapid exploration and management of hypotheses about complex interactions of designs, task condi...
130
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, a control oriented nonlinear model is developed for a fuel cell based auxiliary power unit which includes a solid oxide fuel cell, an autothermal reforming, and a ba...
141
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...