2268 search results - page 177 / 454 » The Essence of Form Abstraction |
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
122
Voted
WAIM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Ensemble methods can achieve excellent performance relying on member classifiers’ accuracy and diversity. We conduct an empirical study of the relationship of ensemble...
104
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
101
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract— We present a distributed scheme for trust inference in peer-to-peer networks. Our work is in context of the NICE system, which is a platform for implementing cooperativ...
108
click to vote
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...