Sciweavers

4616 search results - page 651 / 924
» The Communication Complexity of Correlation
Sort
View
142
Voted
ATAL
2007
Springer
16 years 1 months ago
Matrix-based representation for coordination fault detection: a formal approach
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
Meir Kalech, Michael Lindner, Gal A. Kaminka
CCIA
2007
Springer
16 years 1 months ago
Agents and Clinical Guidelines: Filling the Semantic Gap
Medical ontologies are developed to solve problems such as the demand for reusing, sharing and transmitting data. The unambiguous communication of complex and detailed medical conc...
David Isern, David Sánchez, Antonio Moreno
EDUTAINMENT
2007
Springer
16 years 1 months ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
16 years 1 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
FPL
2007
Springer
176views Hardware» more  FPL 2007»
16 years 1 months ago
ReconOS: An RTOS supporting Hard- and Software Threads
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
Enno Lübbers, Marco Platzner