29172 search results - page 57 / 5835 » Modeling Systems in CLP |
JLP
2010
14 years 6 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...
141
click to vote
IAJIT
2011
14 years 6 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...
195
click to vote
AUTOMATICA
2011
14 years 6 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
15 years 5 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...
115
click to vote
DGO
2011
13 years 11 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...