2685 search results - page 235 / 537 » A Formal Semantics for SPKI |
140
click to vote
AOSE
2004
Springer
16 years 4 days ago
2004
Springer
In the paper we study the dynamics of roles played by agents in multiagent systems. We capture role dynamics in terms of four operation performed by agents: ‘enactment’, ‘dea...
183
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
180
click to vote
AGTIVE
2003
Springer
15 years 12 months ago
2003
Springer
OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applicati...
184
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
155
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...