Search Sciweavers | Sciweavers

1175 search results - page 6 / 235

» Abstract computability and algebraic specification

click to vote

COORDINATION
2006
Springer

107views Distributed And Parallel Com...» more COORDINATION 2006»

Synthesizing Concurrency Control Components from Process Algebraic Specifications

13 years 11 months ago

Download www.sti.uniurb.it

Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...

Edoardo Bontà, Marco Bernardo, Jeff Magee, ...

claim paper

Read More »

click to vote

ESAW
2006
Springer

93views Intelligent Agents» more ESAW 2006»

Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols

13 years 11 months ago

Download www.csc.liv.ac.uk

Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...

Tim Miller, Peter McBurney

claim paper

Read More »

click to vote

ESORICS
2009
Springer

162views Security Privacy» more ESORICS 2009»

Dynamic Enforcement of Abstract Separation of Duty Constraints

14 years 8 months ago

Download www.inf.ethz.ch

Separation of Duty Constraints David Basin1 , Samuel J. Burri1,2 , and G?unter Karjoth2 1 ETH Zurich, Department of Computer Science, Switzerland 2 IBM Research, Zurich Research La...

David A. Basin, Günter Karjoth, Samuel J. Bur...

claim paper

Read More »

click to vote

NCA
2008
IEEE

119views Computer Networks» more NCA 2008»

An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets

14 years 1 months ago

Download www2.cs.ucy.ac.cy

Chryssis Georgiou, Peter M. Musial, Alexander A. S...

claim paper

Read More »