1676 search results - page 202 / 336 » Formal Development of Self-organising Systems |
164
click to vote
LCN
2005
IEEE
16 years 6 days ago
2005
IEEE
Algorithms by which peers join and leave structured overlay networks can be classified as passive or active. Passive topology maintenance relies on periodic background repair of n...
192
click to vote
SEFM
2005
IEEE
16 years 6 days ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
157
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
163
click to vote
ECBS
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
143
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...