2479 search results - page 266 / 496 » Random Event Structures |
149
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
166
click to vote
ICWE
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents AWAC, a prototype CAWE tool for the automatic generation of adaptive Web applications based on the A-OOH methodology. A-OOH (Adaptive OO-H) is an extension of t...
145
click to vote
PROMAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
195
click to vote
ACSD
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...
137
click to vote
DAC
2006
ACM
16 years 16 days ago
2006
ACM
In this paper we present a Design-for-Debug (DFD) reconfigurable infrastructure for SoCs to support at-speed in-system functional debug. A distributed reconfigurable fabric insert...