500 search results - page 26 / 100 » Quantified Conditionals and Compositionality |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Recently, active behavior has received attention in the XML field to automatically react to occurred events. Aside from proprietary approaches for enriching XML with active behavi...
AUTOMATICA
2007
13 years 7 months ago
2007
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...
WEBI
2004
Springer
14 years 21 days ago
2004
Springer
While numerous efforts have focused on service composition in the Grid environment, service selection among similar services from multiple providers has not been addressed. In par...
FM
1999
Springer
13 years 11 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
JSW
2007
13 years 7 months ago
2007
— In this paper, we present our approach to describe and compose services for distant learning and research activities. For this purpose, we propose a metadata model for indexing...