29172 search results - page 57 / 5835 » Modeling Systems in CLP |
JLP
2010
13 years 3 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
IAJIT
2011
13 years 3 months ago
2011
: Number of recent technologies take Geographic Information Systems to new levels of power and usability. One of the most promising technologies that empower Geographic Information...
AUTOMATICA
2011
13 years 3 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications. This paper presents cost model for publish/subscribe systems, analyze its perfo...
DGO
2011
12 years 8 months ago
2011
The rising awareness of the challenges of preserving information over the long term has led to a wealth of initiatives developing economic models, methods, tools, systems, guideli...