7452 search results - page 317 / 1491 » A Semantics for Multiprocessor Systems |
158
click to vote
PKDD
2004
Springer
16 years 2 days ago
2004
Springer
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
209
click to vote
ICALP
2011
Springer
14 years 10 months ago
2011
Springer
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
179
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
203
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
159
click to vote
SIGDOC
2009
ACM
16 years 1 months ago
2009
ACM
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...