8555 search results - page 1357 / 1711 » Property Based Coordination |
188
Voted
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
165
click to vote
AIMS
2007
Springer
16 years 1 months ago
2007
Springer
Peer-to-peer overlay networks provide a useful infrastructure for building distributed applications. These networks provide efficient and fault-tolerant routing and object locating...
165
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
In formal language theory, James Rogers published a series of innovative papers generalising strings and trees to higher dimensions.Motivated by applications in linguistics, his go...
170
Voted
CCS
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...
190
Voted
CDVE
2007
Springer
16 years 1 months ago
2007
Springer
The team of engineers designing and implementing distributed control system software must communicate within a multidisciplinary environment. One of the main problems is the intera...