2108 search results - page 298 / 422 » An Operational Semantics for Stateflow |
134
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
126
click to vote
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...
140
click to vote
ICANN
2003
Springer
15 years 9 months ago
2003
Springer
The concept of semantic and context aware intelligent systems provides a vision for the Information Society where the emphasis lays on computing applications that can sense context...
122
Voted
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Software-based distributed shared memory (DSM) systems do usually not provide any means to use shared memory regions as stacks or via an efficient heap memory allocator. Instead ...
122
click to vote
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...