620 search results - page 113 / 124 » Likelihood Computations Using Value Abstraction |
TASE
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract--With the availability of powerful computational and communication systems, scientists now readily access large, complicated derived datasets and build on those results to...
ICSOC
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The collaborative creation of value is the central tenet of services science. In particular, then, the quality of a service encounter would depend on the mutual expectati...
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...
EUROCAST
2007
Springer
14 years 1 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...