2763 search results - page 445 / 553 » The Dangerous 'All' in Specifications |
168
click to vote
ICST
2008
IEEE
16 years 24 days ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
194
click to vote
AH
2008
Springer
16 years 22 days ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
148
click to vote
DATE
2007
IEEE
16 years 22 days ago
2007
IEEE
- The intrinsic capability brought by each new technology node opens the way to a broad range of system integration options and continuously enables new applications to be integrat...
192
click to vote
IEEESCC
2007
IEEE
16 years 21 days ago
2007
IEEE
eb services are becoming widely deployed to implement the automation of business processes such as supply chain management, inventory tracking, and healthcare management, just to ...
174
click to vote
IOLTS
2007
IEEE
16 years 21 days ago
2007
IEEE
Soft error due to ionizing radiation is emerging as a major concern for future technologies. The measurement unit for failures due to soft errors is called Failure-In-Time (FIT) t...