229 search results - page 43 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
103
click to vote
AAAI
2007
15 years 2 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
114
Voted
EACL
2006
ACL Anthology
15 years 1 months ago
2006
ACL Anthology
We place synchronous tree-adjoining grammars and tree transducers in the single overarching framework of bimorphisms, continuing the unification of synchronous grammars and tree t...
101
click to vote
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...