Sciweavers

ICECCS
2002
IEEE
93views Hardware» more  ICECCS 2002»
14 years 5 months ago
Mnemosyne: Designing and Implementing Network Short-Term Memory
Network traffic logs play an important role in incident analysis. With the increasing throughput of network links, maintaining a complete log of all network activity has become a...
Giovanni Vigna, Andrew Mitchel
ICECCS
2002
IEEE
79views Hardware» more  ICECCS 2002»
14 years 5 months ago
A Framework for Performability Modeling of Messaging Services in Distributed Systems
Messaging services are a useful component in distributed systems that require scalable dissemination of messages (events) from suppliers to consumers. These services decouple supp...
Srinivasan Ramani, Katerina Goseva-Popstojanova, K...
ICECCS
2002
IEEE
99views Hardware» more  ICECCS 2002»
14 years 5 months ago
Using Role-Based Modeling Language (RBML) to Characterize Model Families
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In t...
Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eun...
ICECCS
2002
IEEE
161views Hardware» more  ICECCS 2002»
14 years 5 months ago
Interclass Testing of Object Oriented Software
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
Vincenzo Martena, Alessandro Orso, Mauro Pezz&egra...
ICECCS
2002
IEEE
86views Hardware» more  ICECCS 2002»
14 years 5 months ago
Reasoning about Asynchronous Behaviour in Distributed Systems
When a new component is added to an existing, distributed system, it has to co-operate with existing components in a way that doesn’t interfere badly with the original system. A...
Peter Henderson
ICECCS
2002
IEEE
85views Hardware» more  ICECCS 2002»
14 years 5 months ago
Fault Detection Effectiveness of Spathic Test Data
This paper presents an approach for generating test data for unit-level, and possibly integration-level, testing based on sampling over intervals of the input probability distribu...
Jane Huffman Hayes, Pifu Zhang
ICECCS
2002
IEEE
106views Hardware» more  ICECCS 2002»
14 years 5 months ago
Validating Run-time Interactions in Distributed Java Applications
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techni...
Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Re...
ICECCS
2002
IEEE
99views Hardware» more  ICECCS 2002»
14 years 5 months ago
Using Aspects to Design a Secure System
Developers of complex systems have to address concerns such as security, availability of services, and timeliness that often are non-orthogonal to traditional design structures, t...
Geri Georg, Indrakshi Ray, Robert B. France
ICECCS
2002
IEEE
84views Hardware» more  ICECCS 2002»
14 years 5 months ago
An Empirical Comparison of Modularity of Procedural and Object-oriented Software
A commonly held belief is that applications written ina object-oriented languages are more modular than those written in procedural languages. This paper presents results from an ...
Lisa K. Ferrett, Jeff Offutt
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
14 years 5 months ago
Mars Polar Lander Fault Identification Using Model-based Testing
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
Mark R. Blackburn, Robert Busser, Aaron Nauman, Ro...