5757 search results - page 333 / 1152 » Dynamic Policy Programming |
195
click to vote
ICIW
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
150
click to vote
ANLP
1997
15 years 8 months ago
1997
CogentHelp is a prototype tool for authoring dynamicallygenerated on-line help for applications with graphical user interfaces, embodying the "evolution-friendly" proper...
199
Voted
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Each day, security companies see themselves confronted with thousands of new malware programs. To cope with these large quantities, researchers and practitioners alike have develo...
167
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
149
Voted
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
Abstract--We propose an extension to the event-based programming model for sensor-driven ubiquitous computing applications. The extension consists of three abstractions: MultiEvent...