410 search results - page 77 / 82 » Tools for System Validation with B Abstract Machines |
GPCE
2009
Springer
14 years 3 days ago
2009
Springer
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
CLUSTER
2000
IEEE
13 years 12 months ago
2000
IEEE
As a novel approach to software maintenance in large clusters of PCs requiring multiple OS installations we implemented partition cloning and partition repositories as well as a s...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
In recent years, the number of patents filed by the business enterprises in the technology industry are growing rapidly, thus providing unprecedented opportunities for knowledge d...
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Hydra is a flexible wireless network testbed being developed at UT Austin. Our focus is networks that support multiple wireless hops and where the network, especially the MAC,...
JUCS
2008
13 years 7 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...