Sciweavers

AMAST
2004
Springer
15 years 8 months ago
A Language for Configuring Multi-level Specifications
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
Gillian Hill, Steven Vickers
AICCSA
2006
IEEE
117views Hardware» more  AICCSA 2006»
15 years 8 months ago
Adaptive Search in a Semi-Structured Peer-to-Peer System
s: Software Foundations Modeling Redundancy: Quantitative and Qualitative Models .......................................................43 Ali Mili............New Jersey Institute ...
Christof Squarr, Jens Bruhn, Guido Wirtz
AMAST
2004
Springer
15 years 8 months ago
Refining Mobile UML State Machines
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...
Alexander Knapp, Stephan Merz, Martin Wirsing
AMAST
2004
Springer
15 years 8 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe
108
Voted
AMAST
2004
Springer
15 years 8 months ago
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs
Bertrand Jeannet, Wendelin Serwe