10038 search results - page 1878 / 2008 » Model Checking for Managers |
107
Voted
CODES
2011
IEEE
14 years 19 days ago
2011
IEEE
Two overriding concerns in the development of embedded MPSoCs are ease of programming and hardware complexity. In this paper we present SoC-TM, an integrated HW/SW solution for tr...
112
Voted
GANDC
2011
14 years 14 days ago
2011
3D geological models commonly built to manage natural resources are much affected by uncertainty because most of the subsurface is inaccessible to direct observation. Appropriate ...
127
Voted
ICONFERENCE
2012
13 years 8 months ago
2012
This paper presents findings from two research projects that entail needs assessments, benchmarking, and onsite diagnostics of anchor institutions in support of multi-million doll...
162
click to vote
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
The popularity of mobile social networking services (mSNSs) is propelling more and more businesses, especially those in retailing and marketing, into mobile and location-based for...
132
click to vote
KDD
2012
ACM
13 years 3 months ago
2012
ACM
Historical prices are important information that can help consumers decide whether the time is right to buy a product. They provide both a context to the users, and facilitate the...