Sciweavers

2192 search results - page 83 / 439
» Embedded function composition
Sort
View
ATAL
2006
Springer
14 years 1 months ago
Cognitive agents based simulation for decisions regarding human team composition
This paper proposes to use cognitive multi-agent based simulation to facilitate human team formation decision processes. The models of organizational actors are acquired by a data...
Bruno Gonçalves, António Lopes, Sofi...
LICS
1998
IEEE
14 years 1 months ago
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
Eugene W. Stark, Scott A. Smolka
AUTOMATICA
2007
48views more  AUTOMATICA 2007»
13 years 10 months ago
Interconnection of port-Hamiltonian systems and composition of Dirac structures
Port-based network modeling of physical systems leads to a model class of nonlinear systems known as port-Hamiltonian systems. Port-Hamiltonian systems are defined with respect t...
J. Cervera, A. J. van der Schaft, Alfonso Ba&ntild...
ICWE
2010
Springer
13 years 8 months ago
Rapid Development of Composite Applications Using Annotated Web Services
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...
Lars Dannecker, Marius Feldmann, Tobias Nestler, G...
SIGSOFT
2009
ACM
14 years 10 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory