3742 search results - page 649 / 749 » On the Use of Formal Techniques for Validation |
348
click to vote
KDD
2012
ACM
13 years 8 months ago
2012
ACM
Display ads on the Internet are often sold in bundles of thousands or millions of impressions over a particular time period, typically weeks or months. Ad serving systems that ass...
137
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
181
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on individual events. However, many applications such as moni...
159
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
169
click to vote
ICTAI
2007
IEEE
16 years 19 days ago
2007
IEEE
The majority of text retrieval and mining techniques are still based on exact feature (e.g. words) matching and unable to incorporate text semantics. Many researchers believe that...