2836 search results - page 430 / 568 » Model Checking for Software Architectures |
149
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
154
click to vote
SERP
2008
15 years 7 months ago
2008
Web-based application development is a difficult task, since these applications include various features, like graphical interfaces, navigational structures, business models, and ...
169
click to vote
IPSN
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
153
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
Visualising computational simulation models of solid state physical systems is a hard problem for dense lattice models. Fly throughs and cutaways can aid viewer understanding of a...
202
click to vote
CASCON
1996
15 years 7 months ago
1996
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...