3161 search results - page 527 / 633 » Documenting framework behavior |
124
Voted
RULEML
2005
Springer
15 years 8 months ago
2005
Springer
In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the ne...
145
Voted
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
133
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
130
Voted
VLDB
2005
ACM
15 years 8 months ago
2005
ACM
Emerging large-scale monitoring applications require continuous tracking of complex dataanalysis queries over collections of physicallydistributed streams. Effective solutions hav...
101
click to vote
SIGOPSE
2004
ACM
15 years 8 months ago
2004
ACM
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...