6608 search results - page 1066 / 1322 » On the Completeness of Model Checking |
155
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract--This paper compares two evaluation criterion frameworks for sociotechnical software. Research on the technology acceptance model (TAM) confirms that perceived usefulness ...
196
click to vote
TSP
2008
15 years 6 months ago
2008
Markov random fields are designed to represent structured dependencies among large collections of random variables, and are well-suited to capture the structure of real-world sign...
166
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract— This paper deals with dynamic scheduling in realtime systems that have Quality of Service requirements. We assume that tasks are periodic and may miss their deadlines, ...
205
click to vote
TVLSI
2008
15 years 6 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
171
click to vote
JVCIR
2007
15 years 6 months ago
2007
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...