1676 search results - page 177 / 336 » Formal Development of Self-organising Systems |
151
click to vote
SSR
1997
15 years 7 months ago
1997
The growing size and complexity of systems has revealed many shortcomings of existing software engineering practices, for example, lack of scalability. This in turn raised interes...
179
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software helps people fulfill their goals, but development tools lack understanding of those goals. But if development tools did understand how software artifacts relate to higher...
205
click to vote
TKDE
2012
13 years 8 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
180
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
159
click to vote
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...