10038 search results - page 1710 / 2008 » Model Checking for Managers |
187
click to vote
ENTCS
2006
15 years 6 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
191
click to vote
MCS
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. While a variety of multiple classifier systems have been studied since at least the late 1950's, this area came alive in the 90's with significant theoretical a...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The persistent programming systems of the 1980s offered a programming model that integrated computation and long-term storage. In these systems, reliable applications could be eng...
172
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
217
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Understanding goals and preferences behind a user's online activities can greatly help information providers, such as search engine and E-Commerce web sites, to personalize c...