Sciweavers

3943 search results - page 80 / 789
» Architecture-Level Requirements Specification
Sort
View
IAT
2007
IEEE
15 years 12 months ago
A Specification Language for Coordination in Agent Systems
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Tr...
JOT
2008
92views more  JOT 2008»
15 years 5 months ago
A Matching Approach for Object-Oriented Formal Specifications
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Al...
ITNG
2010
IEEE
15 years 10 months ago
Functional Implementation Specification for a Service-Oriented Geographic Intelligence
This paper is the second on a series of four papers and presents the functional systematization implementation specification of a subsystem with integrative function based on a Se...
Valdevino Siqueira Campos Neto, Fernando Maciel Li...
ATAL
1997
Springer
15 years 9 months ago
Toward the Specification and Design of Industrial Synthetic Ecosystems
Many agent-based systems rely for their effectiveness on the intelligence of individual agents, and interaction among agents is required simply to coordinate these individually com...
H. Van Dyke Parunak, John A. Sauter, Steve Clark
EPEW
2006
Springer
15 years 9 months ago
Functional Performance Specification with Stochastic Probes
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
Ashok Argent-Katwala, Jeremy T. Bradley