2688 search results - page 232 / 538 » A formal semantics for P3P |
191
Voted
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
140
click to vote
AOSE
2004
Springer
16 years 1 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...
181
click to vote
IFM
2004
Springer
16 years 7 hour 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...
178
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...
182
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...