1398 search results - page 119 / 280 » Ensuring Properties of Interaction Systems |
207
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—For a complex distributed system to be dependable, it must be continuously monitored, so that its failures and imperfections can be discovered and corrected in a timely ...
174
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
182
click to vote
HAPTICS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper explores the experiment design to determine a human’s ability to discriminate the natural frequency of manually excited virtual dynamic systems. We use a one degree-o...
173
click to vote
ICSEA
2006
IEEE
16 years 26 days ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
196
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...