1728 search results - page 280 / 346 » Formal Modeling of Process Migration |
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...
86
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
120
Voted
ENTCS
2010
15 years 21 days ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
109
Voted
RAS
2006
15 years 16 days ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
119
Voted
ISSE
2007
15 years 15 days ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...