29172 search results - page 387 / 5835 » Modeling Systems in CLP |
175
click to vote
FORTEST
2008
15 years 8 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
163
click to vote
MASCOTS
2004
15 years 8 months ago
2004
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...
156
click to vote
SDL
2001
15 years 8 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
175
click to vote
TIT
2008
15 years 6 months ago
2008
Authentication codes provide message integrity guarantees in an information theoretic sense within a symmetric key setting. Information theoretic bounds on the success probability...
267
click to vote
GIS
2008
ACM
16 years 8 months ago
2008
ACM
Multi-dimensional spatial data are obtained when a number of data acquisition devices are deployed at different locations to measure a certain set of attributes of the study subje...