597 search results - page 43 / 120 » E-Process Design and Assurance Using Model Checking |
105
click to vote
SPDECE
2007
15 years 3 months ago
2007
This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and con...
118
click to vote
ICAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
140
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
115
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
113
click to vote
DMDW
2001
15 years 3 months ago
2001
Organizations are adopting datawarehouses to manage information efficiently as "the" main organizational asset. It is essential that we can assure the information qualit...