2748 search results - page 96 / 550 » Generating Object-Z Specifications from Use Cases |
CCGRID
2004
IEEE
14 years 1 months ago
2004
IEEE
Peer-to-peer (P2P) file-sharing applications generate a large part if not most of today's Internet traffic. The large volume of this traffic (thus the high potential benefits...
CASES
2006
ACM
14 years 1 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
IWMM
2000
Springer
14 years 1 months ago
2000
Springer
Many garbage-collected systems use a single garbage collection algorithm across all applications. It has long been known that this can produce poor performance on applications for...
DL
2000
Springer
14 years 2 months ago
2000
Springer
Phrase browsing techniques use phrases extracted automatically from a large information collection as a basis for browsing and accessing it. This paper describes a case study that...
SAFECOMP
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...