77016 search results - page 66 / 15404 » Modeling Modeling |
143
Voted
INFORMATICALT
2007
15 years 2 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
15 years 3 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...
93
Voted
ICSE
2010
IEEE-ACM
15 years 4 months 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...
121
Voted
UML
2005
Springer
15 years 7 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...
130
click to vote
DASFAA
2007
IEEE
15 years 4 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...