1454 search results - page 173 / 291 » Stateful traits and their formalization |
140
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
172
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
163
click to vote
BIBM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
128
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
171
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...