626 search results - page 23 / 126 » When Can Formal Methods Make a Real Difference |
SAC
2006
ACM
13 years 7 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
AGTIVE
2003
Springer
14 years 22 days ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
ICETE
2004
13 years 9 months ago
2004
: - Modern intrusion detection systems are comprised of three basically different approaches, host based, network based, and a third relatively recent addition called procedural ba...
TVCG
2012
11 years 10 months ago
2012
—A water drop behaves differently from a large water body because of its strong viscosity and surface tension under the small scale. Surface tension causes the motion of a water ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...