2282 search results - page 355 / 457 » Active property checking |
150
Voted
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
137
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
134
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
121
Voted
SENSYS
2004
ACM
15 years 8 months ago
2004
ACM
Previous approaches for computing duplicate-sensitive aggregates in sensor networks (e.g., in TAG) have used a tree topology, in order to conserve energy and to avoid double-count...
147
Voted
AGTIVE
2003
Springer
15 years 8 months ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...