2722 search results - page 203 / 545 » The Model Evolution Calculus |
120
Voted
SAC
2002
ACM
15 years 3 months ago
2002
ACM
This paper explores the limitations of one technique for modelling computer-based systems with evolving requirements. A case study is introduced which highlights the importance of...
143
Voted
INFOVIS
2003
IEEE
15 years 8 months ago
2003
IEEE
Network evolution is a ubiquitous phenomenon in a wide variety of complex systems. There is an increasing interest in statistically modeling the evolution of complex networks such...
127
Voted
IJVR
2008
15 years 3 months ago
2008
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
203
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
We present an overview of a tutorial on model management--an approach to solving data integration problems, such as data warehousing, e-commerce, object-to-relational mapping, sch...
119
click to vote
EUROGP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...