13140 search results - page 197 / 2628 » Coupling Component Systems towards Systems of Systems |
125
click to vote
COLING
2010
14 years 11 months ago
2010
This paper presents a methodology for a quantitative and qualitative evaluation of Textual Entailment systems. We take advantage of the decomposition of Text Hypothesis pairs into...
121
click to vote
ICDCSW
2008
IEEE
15 years 11 months ago
2008
IEEE
In this position paper we investigate the security of cyberphysical systems. We (1) identify and define the problem of secure control, (2) investigate the defenses that informati...
104
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
173
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
124
click to vote
ICIW
2007
IEEE
15 years 11 months ago
2007
IEEE
Ensuring dependability and security of Peer-toPeer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterize...