Sciweavers

2588 search results - page 228 / 518
» Engineering Systems Which Generate Emergent Functionalities
Sort
View
BIS
2006
122views Business» more  BIS 2006»
15 years 7 months ago
Variability Mechanisms in E-Business Process Families
Abstract Nowadays, process oriented software systems, like many business information systems, don't exist only in one single version, but in many variants for better coverage ...
Arnd Schnieders, Frank Puhlmann
CSFW
2007
IEEE
16 years 15 days ago
Creating Vulnerability Signatures Using Weakest Preconditions
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong...
SIGCOMM
2009
ACM
16 years 21 days ago
Apprehending joule thieves with cinder
Energy is the critical limiting resource to mobile computing devices. Correspondingly, an operating system must track, provision, and ration how applications consume energy. The e...
Stephen M. Rumble, Ryan Stutsman, Philip Levis, Da...
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
16 years 23 days ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
ICSM
2009
IEEE
16 years 25 days ago
Automated performance analysis of load tests
The goal of a load test is to uncover functional and performance problems of a system under load. Performance problems refer to the situations where a system suffers from unexpect...
Zhen Ming Jiang, Ahmed E. Hassan, Gilbert Hamann, ...