10159 search results - page 333 / 2032 » System Design Validation Using Formal Models |
201
click to vote
MC
2001
15 years 5 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
191
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promis...
129
click to vote
SAMOS
2007
Springer
15 years 10 months ago
2007
Springer
The Sesame modeling and simulation framework aims at early and thus efficient system-level design space exploration of embedded multimedia system architectures. So far, Sesame onl...
166
click to vote
TSE
1998
15 years 3 months ago
1998
—This paper demonstrates the use of a model-based evaluation approach for instrumentation systems (ISs). The overall objective of this study is to provide early feedback to tool ...
130
Voted
ITS
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...