4767 search results - page 394 / 954 » Structures for Abstract Rewriting |
171
click to vote
SAFECOMP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present several problem frames that serve to structure, characterize and analyze software development problems in the area of software and system security. These probl...
176
Voted
TLCA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
162
click to vote
UM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The study reported in this paper explores the effects of providing web users with link suggestions that are relevant to their tasks. Results indicate that link suggestion...
162
click to vote
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a clas...
166
click to vote
ASPDAC
2004
ACM
16 years 5 days ago
2004
ACM
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...