3828 search results - page 192 / 766 » Proof-Based System Engineering Using a Virtual System Model |
176
click to vote
UAI
2004
15 years 7 months ago
2004
Modeling dynamical systems, both for control purposes and to make predictions about their behavior, is ubiquitous in science and engineering. Predictive state representations (PSR...
169
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
164
click to vote
NTMS
2008
IEEE
16 years 24 days ago
2008
IEEE
—Peer-to-Peer (P2P) systems gain much attention in recent years. According to many statistics, P2P systems contribute a significant portion of the Internet traffic. Individual In...
189
click to vote
ICAS
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
170
click to vote
CONTEXT
2007
Springer
16 years 17 days ago
2007
Springer
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...