3082 search results - page 239 / 617 » Deviation Analysis: A New Use of Model Checking |
170
click to vote
ICECCS
2005
IEEE
16 years 3 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
161
click to vote
ENTCS
2007
15 years 6 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
174
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
185
click to vote
CMS
2006
15 years 8 months ago
2006
Abstract. The perspective directions in evaluating network security are simulating possible malefactor's actions, building the representation of these actions as attack graphs...
140
click to vote
MVA
1992
15 years 7 months ago
1992
This paper describes the general structure of a full automated document analysis system for printed documents. The system is based on a character preclassification stage which red...