Sciweavers

10182 search results - page 1499 / 2037
» Case Studies
Sort
View
203
Voted
IEEECIT
2010
IEEE
15 years 5 months ago
Model-Level Debugging of Embedded Real-Time Systems
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
Wolfgang Haberl, Markus Herrmannsdoerfer, Jan Birk...
185
Voted
IEEESP
2010
99views more  IEEESP 2010»
15 years 5 months ago
The Iterated Weakest Link
Abstract. We devise a model for security investment that reflects dynamic interaction between a defender, who faces uncertainty, and an attacker, who repeatedly targets the weakes...
Rainer Böhme, Tyler Moore
IGPL
2010
109views more  IGPL 2010»
15 years 5 months ago
Deductive coherence and norm adoption
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
Sindhu Joseph, Carles Sierra, W. Marco Schorlemmer...
IJAMC
2010
94views more  IJAMC 2010»
15 years 5 months ago
Middleware mechanisms for interaction interoperability in Collaborative Virtual Environments
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
Mario Ciampi, Luigi Gallo, Antonio Coronato, Giuse...
178
Voted
IJBIDM
2010
80views more  IJBIDM 2010»
15 years 5 months ago
Practical algorithms for subgroup detection in covert networks
: In this paper, we present algorithms for subgroup detection and demonstrated them with a real-time case study of USS Cole bombing terrorist network. The algorithms are demonstrat...
Nasrullah Memon, Uffe Kock Wiil, Abdul Rasool Qure...
« Prev « First page 1499 / 2037 Last » Next »