1358 search results - page 241 / 272 » Information elicitation for decision making |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
MOBIHOC
2008
ACM
14 years 7 months ago
2008
ACM
For long, node cooperation has been exploited as a data relaying mechanism. However, the wireless channel allows for much richer interaction between nodes. One such scenario is in...
DNIS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. As data warehousing technology gains a ubiquitous presence in business today, companies are becoming increasingly reliant upon the information contained in their data war...
COLCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— Distributed sensor network protocols, such as routing, time synchronization or data aggregation protocols make use of collaborative techniques to minimize the consumption of sc...
WECWIS
2007
IEEE
14 years 1 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...