1398 search results - page 119 / 280 » Ensuring Properties of Interaction Systems |
158
click to vote
COLCOM
2009
IEEE
15 years 9 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 ...
139
click to vote
FORTE
2009
15 years 2 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...
149
click to vote
HAPTICS
2007
IEEE
15 years 11 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...
134
click to vote
ICSEA
2006
IEEE
15 years 10 months 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...
140
click to vote
KR
2010
Springer
15 years 9 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...