7209 search results - page 1082 / 1442 » Software Engineering for Multi-Agent Systems |
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
117
click to vote
ARCS
2007
Springer
15 years 7 months ago
2007
Springer
Sensor network technology is pushing towards integration into the business world. By using sensor node hardware to augment real life business items it is possible to capture the wo...
MSR
2006
ACM
15 years 7 months ago
2006
ACM
Revision history provides a rich source of information to improve the understanding of changes made to programs, but it yields only limited insight into how these changes occurred...
128
click to vote
SEW
2005
IEEE
15 years 6 months ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...