2106 search results - page 292 / 422 » Operational Semantics for MSC'96 |
129
click to vote
DALT
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such ...
222
click to vote
TON
2010
15 years 22 days ago
2010
This paper presents "Self-Chord," a peer-to-peer (P2P) system that inherits the ability of Chord-like structured systems for the construction and maintenance of an overla...
145
click to vote
TSMC
2011
15 years 15 days ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
227
click to vote
HOST
2011
IEEE
14 years 5 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
166
click to vote
ACL
2012
13 years 8 months ago
2012
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...