7580 search results - page 268 / 1516 » Prometheus design tool |
186
click to vote
ICALT
2005
IEEE
16 years 6 days ago
2005
IEEE
Problem-based learning is a pedagogical strategy that centers learning activities around the investigation and development of solutions to complex and ill-structured authentic pro...
208
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
The idea of ubiquitous computing and smart environments is no longer a dream and has long become a serious area of research and soon this technology will start entering our every d...
188
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
183
click to vote
ESAW
2009
Springer
15 years 4 months ago
2009
Springer
009), which constitutes an abstraction of the various aspects of a MAS, generalizing the AGR approach and incorporating the institutional work of Searle (Searle 1995). This model i...
176
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...