Sciweavers

2127 search results - page 31 / 426
» Software Automation
Sort
View
99
Voted
DBSEC
2008
137views Database» more  DBSEC 2008»
15 years 1 months ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...
GI
2004
Springer
15 years 5 months ago
A LEGO-like Lightweight Software Component Architecture for Organic Computing
Abstract: The goals of organic computing are difficult to achieve due to the heterogenity of current software components. We believe that in the long term more advanced software a...
Thomas Schöbel-Theuer
METRICS
2005
IEEE
15 years 6 months ago
Empowering Software Development Environments by Automatic Software Measurement
In order to facilitate the application of software measurement the gathering of software measures should be automated as far as possible by the integration of the software measure...
Bernhard Daubner
104
Voted
FMICS
2006
Springer
15 years 4 months ago
Verified Design of an Automated Parking Garage
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
Aad Mathijssen, A. Johannes Pretorius
COMPSAC
2006
IEEE
15 years 6 months ago
Automated Agent Synthesis for Situation Awareness in Service-Based Systems
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...