571 search results - page 62 / 115 » A principled approach to operating system construction in Ha... |
124
click to vote
EDOC
2005
IEEE
15 years 7 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
107
click to vote
AIPS
1994
15 years 2 months ago
1994
An intelligent problem solver must be able to decompose a complex problem into simpler parts. A decomposition algorithm would not only be bene cial for traditional subgoal-oriente...
115
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
133
click to vote
AAAI
2004
15 years 2 months ago
2004
A standard intuition underlying traditional accounts of belief change is the principle of minimal change. In this paper we introduce a novel account of belief change in which the ...
121
click to vote
TCS
2010
14 years 8 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...