4350 search results - page 657 / 870 » Case studies for contract-based systems |
162
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
142
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we propose a Quantified Distributed Constraint Optimization problem (QDCOP) that extends the framework of Distributed Constraint Optimization problems (DCOPs). DCOP...
174
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The four heterogeneous childhood cancers, neuroblastoma, non-Hodgkin lymphoma, rhabdomyosarcoma, and Ewing sarcoma present a similar histology of small round blue cell...
188
click to vote
ABIALS
2008
Springer
15 years 10 months ago
2008
Springer
Abstract— Starting from the situated and embodied perspective on the study of biological cognition as a source of inspiration, this paper programmatically outlines a path towards...
156
click to vote
AIMS
2008
Springer
15 years 6 months ago
2008
Springer
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....