942 search results - page 33 / 189 » Application of Model Driven Techniques for Agent-Based Simul... |
ICSE
1999
IEEE-ACM
15 years 3 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
RITA
2002
14 years 10 months ago
2002
The use of detailed geometric models is a critical factor for achieving realism in most computer graphics applications. In the past few years, we have observed an increasing deman...
AINA
2009
IEEE
15 years 5 months ago
2009
IEEE
The architectures which support modern supercomputing machinery are as diverse today, as at any point during the last twenty years. The variety of processor core arrangements, thr...
113
click to vote
SERP
2007
15 years 11 days ago
2007
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
ISLPED
2000
ACM
15 years 3 months ago
2000
ACM
We present new modeling and simulation techniques to improve the accuracy and efficiency of transient analysis of large power distribution grids. These include an accurate model ...