2688 search results - page 156 / 538 » A formal semantics for P3P |
220
click to vote
ISPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
255
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
314
click to vote
ICDE
1997
IEEE
16 years 7 months ago
1997
IEEE
2. ODB-QOPTIMIZER : the tool ODB-QOPTIMIZERis a ODMG 93 compliant tool for the schema validation and semantic query optimization. The approach is based on two fundamental ingredien...
156
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
171
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...