1842 search results - page 165 / 369 » Measurable systems and behavioral sciences |
163
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
Driving behavior has been trending towards more time in the car and longer commutes. This has fueled the demand for an increasing number of in-vehicle infotainment features, at th...
180
Voted
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
213
click to vote
KBS
2011
15 years 1 months ago
2011
In today’s industrial applications, we see that knowledge systems are successfully implemented. However, critical domains require the elaborate and thoughtful validation of the ...
165
click to vote
SP
2003
IEEE
15 years 12 months ago
2003
IEEE
Language run-time systems are often called upon to safely execute mutually distrustful tasks within the same runtime, protecting them from other tasks’ bugs or otherwise hostile...
169
click to vote
JSS
2006
15 years 6 months ago
2006
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...