Sciweavers

3024 search results - page 219 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
COMPSAC
2007
IEEE
16 years 26 days ago
Decision Support for Dynamic Adaptation of Business Systems Based on Feature Binding Analysis
Dynamic evolution has been an essential requirement for more and more business systems which attempt to provide 7(days) x 24(hours) availability and flexible adaptability on the c...
Liwei Shen, Xin Peng, Wenyun Zhao
CCS
2007
ACM
16 years 21 days ago
An independent audit framework for software dependent voting systems
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
Sujata Garera, Aviel D. Rubin
WOSP
2000
ACM
15 years 11 months ago
Quantitative system evaluation with DSPNexpress 2000
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
Christoph Lindemann, Axel Thümmler, Alexander...
IADIS
2003
15 years 8 months ago
Web Information Management System: Personalization and Generalization
Our research focuses on web information management for people who want to monitor and use the World Wide Web (WWW) information, as their information resource. Web information is m...
Sung Sik Park, Yang Sok Kim, Byeong Ho Kang
COMPSAC
2008
IEEE
16 years 1 months ago
Error Modeling in Dependable Component-Based Systems
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobr...