1163 search results - page 202 / 233 » Case Studies of Model Checking for Embedded System Designs |
108
click to vote
CSMR
2004
IEEE
15 years 5 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...
131
click to vote
TROB
2010
14 years 8 months ago
2010
The property of form-closure of a grasp, as generally defined in the literature, is based on the assumption that contact points between the hand and the object are fixed in space. ...
133
click to vote
ECSA
2010
Springer
15 years 2 months ago
2010
Springer
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...
111
click to vote
KCAP
2005
ACM
15 years 7 months ago
2005
ACM
User-centered consultation systems can be viewed as systems with trust in the competence of the user, whereas conventional knowledge systems are often based on some mistrust. By o...
125
click to vote
JSS
2011
14 years 8 months ago
2011
Due to the complex nature of scientific workflow environments, temporal violations often take place and may severely reduce the timeliness of the execution’s results. To handle ...