3207 search results - page 292 / 642 » A Semantics for HTN Methods |
188
click to vote
IV
2010
IEEE
15 years 4 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 ...
194
click to vote
SYNTHESE
2011
15 years 1 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...
221
click to vote
CORR
2011
Springer
14 years 10 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...
169
click to vote
FMCO
2005
Springer
16 years 5 days 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...
170
click to vote
AGTIVE
1999
Springer
15 years 11 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...