Sciweavers

641 search results - page 67 / 129
» A Framework for Analyzing Configurations of Deployable Softw...
Sort
View
SIGMOD
2006
ACM
107views Database» more  SIGMOD 2006»
14 years 7 months ago
Documentum ECI self-repairing wrappers: performance analysis
Documentum Enterprise Content Integration (ECI) services is a content integration middleware that provides one-query access to the Intranet and Internet content resources. The ECI...
Boris Chidlovskii, Bruno Roustant, Marc Brette
ICFEM
1997
Springer
13 years 12 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
DAC
1997
ACM
13 years 12 months ago
Static Timing Analysis of Embedded Software
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
Sharad Malik, Margaret Martonosi, Yau-Tsun Steven ...
SIGMOD
2009
ACM
112views Database» more  SIGMOD 2009»
14 years 8 months ago
How is the weather tomorrow?: towards a benchmark for the cloud
Traditionally, the goal of benchmarking a software system is to evaluate its performance under a particular workload for a fixed configuration. The most prominent examples for eva...
Carsten Binnig, Donald Kossmann, Tim Kraska, Simon...
KBSE
2005
IEEE
14 years 1 months ago
Designing and implementing a family of intrusion detection systems
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
Richard A. Kemmerer