10159 search results - page 1721 / 2032 » System Design Validation Using Formal Models |
153
click to vote
ICAI
2008
15 years 8 months ago
2008
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...
181
click to vote
DAC
1998
ACM
15 years 11 months ago
1998
ACM
Networked embedded systems are expected to support adaptive streaming audio/video applications with soft real-time constraints. These systems can be designed in a cost efficient ...
166
click to vote
FPLAY
2008
15 years 8 months ago
2008
Games for learning cannot take the same design approach as games when targeting audiences. While players of entertainment games have the luxury of choosing games that suit them, s...
165
click to vote
IJWIS
2006
15 years 6 months ago
2006
Abstract. In this paper we present a model-based approach for the development of physical hypermedia applications, i.e. those mobile (Web) applications in which physical and digita...
153
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Organizational Self-Design (OSD) has been proposed as an approach to constructing suitable organizations at runtime in which the agents are responsible for constructing their own ...