790 search results - page 90 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
126
Voted
ICAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
117
click to vote
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
129
Voted
AIPS
2006
15 years 5 months ago
2006
Recently the problem of automatic composition of workflows has been receiving increasing interest. Initial investigation has shown that designing a practical and scalable composit...
161
click to vote
UIST
1993
ACM
15 years 7 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
205
Voted
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...