Sciweavers

14642 search results - page 203 / 2929
» It's Time for a Change
Sort
View
BPM
2008
Springer
161views Business» more  BPM 2008»
15 years 8 months ago
BESERIAL: Behavioural Service Interface Analyser
In a service-oriented architecture, software services interact by means of message exchanges that follow certain patterns documented in the form of behavioural interfaces. As any s...
Ali Aït-Bachir, Marlon Dumas, Marie-Christine...
CSCLP
2006
Springer
15 years 10 months ago
Distributed Forward Checking May Lie for Privacy
DisFC is an ABT-like algorithm that, instead of sending the value taken by the high priority agent, it sends the domain of the low priority agent that is compatible with that value...
Ismel Brito, Pedro Meseguer
AICT
2010
IEEE
216views Communications» more  AICT 2010»
14 years 10 months ago
A Simplified Method for Optimising Sequentially Processed Access Control Lists
Among the various options for implementing Internet packet filters in the form of Access Control Lists (ACLs), is the intuitive – but potentially crude – method of processing t...
Vic Grout, John Davies
APN
2005
Springer
15 years 8 months ago
Timed-Arc Petri Nets vs. Networks of Timed Automata
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
Jirí Srba
AOSE
2003
Springer
15 years 12 months ago
Temporal Aspects of Dynamic Role Assignment
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
James Odell, H. Van Dyke Parunak, Sven Brueckner, ...