1306 search results - page 10 / 262 » A Diagrammatic Approach to Model Completion |
94
Voted
ICFP
2004
ACM
16 years 9 days ago
2004
ACM
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...
89
Voted
SIGIR
2004
ACM
15 years 5 months ago
2004
ACM
We discuss a retrieval model in which the task is to complete a sentence, given an initial fragment, and given an application specific document collection. This model is motivate...
CCS
2001
ACM
15 years 4 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
79
Voted
ACSC
2005
IEEE
15 years 6 months ago
2005
IEEE
Curriculum based on internetworking devices is primarily based on the Command Line Interface (CLI) and case studies. However a single CLI command may produce output that is not on...
69
Voted
DASFAA
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we present a quality model highlighting the completeness of sensor data with respect to its application. The model allows consistent handling of information loss as d...