2688 search results - page 175 / 538 » A formal semantics for P3P |
132
click to vote
FROCOS
2005
Springer
16 years 2 days ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
162
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
188
click to vote
AIME
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
178
click to vote
ROOM
2000
15 years 7 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
194
click to vote
TPHOL
2005
IEEE
16 years 3 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...