77016 search results - page 66 / 15404 » Modeling Modeling |
INFORMATICALT
2007
13 years 10 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
GIL
2004
13 years 11 months ago
2004
: This article presents an integrated ecologic and economic model to study landscape and land use change, using the Spatial Analysis Modelling Tool (SAMT). The study involves integ...
ICSE
2010
IEEE-ACM
14 years 2 days ago
2010
IEEE-ACM
Models need to be put under version control to facilitate collaboration and to control change. EMFStore is a Software Configuration Management system tailored to the specific re...
UML
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
DASFAA
2007
IEEE
13 years 12 months ago
2007
IEEE
To support emerging database applications that deal with continuously changing (or moving) data objects (CCDOs), such as vehicles, RFIDs, and multi-stimuli sensors, one requires an...