Sciweavers

15614 search results - page 265 / 3123
» The State of State
Sort
View
SPIN
2005
Springer
16 years 3 days ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
WIA
2005
Springer
16 years 2 days ago
Compressing XML Documents Using Recursive Finite State Automata
Abstract. We propose a scheme for automatically generating compressors for XML documents from Document Type Definition(DTD) specifications. Our algorithm is a lossless adaptive a...
Hariharan Subramanian, Priti Shankar
ECOOP
2005
Springer
16 years 2 days ago
State Based Ownership, Reentrance, and Encapsulation
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...
Anindya Banerjee, David A. Naumann