3828 search results - page 192 / 766 » Proof-Based System Engineering Using a Virtual System Model |
177
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
Voted
SAC
2005
ACM
16 years 2 hour 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 25 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 27 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...
171
click to vote
CONTEXT
2007
Springer
16 years 18 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...