1995 search results - page 358 / 399 » Belief in Information Flow |
USENIX
2007
13 years 10 months ago
2007
As the scope of personal data grows, it becomes increasingly difficult to find what we need when we need it. Desktop search tools provide a potential answer, but most existing too...
WSC
2007
13 years 10 months ago
2007
This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...
WSC
2007
13 years 10 months ago
2007
This paper is motivated by a case study performed at a company that manufactures two main types of customized products. In an effort to significantly increase their throughput cap...
WSC
2008
13 years 10 months ago
2008
US military forces now face asymmetric military operations. Management of relationships with civilians is often crucial to success. Local population groups can provide critical in...
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...