3207 search results - page 292 / 642 » A Semantics for HTN Methods |
152
click to vote
IV
2010
IEEE
15 years 2 months ago
2010
IEEE
The advent of consumer-generated and social media has led to a continuous expansion and diversification of the media landscape. Media consumers frequently find themselves assuming ...
147
click to vote
SYNTHESE
2011
14 years 11 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
181
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
134
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
132
click to vote
AGTIVE
1999
Springer
15 years 9 months ago
1999
Springer
DiaGen is a specification method, which is primarily based on a hypergraph grammar, and a tool that allows to automatically generate diagram editors from such a specification. Ge...