6884 search results - page 1038 / 1377 » The macro-structure of use of help |
193
click to vote
VAMOS
2007
Springer
16 years 25 days ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
178
click to vote
ACSAC
2006
IEEE
16 years 24 days ago
2006
IEEE
Attack graphs are a valuable tool to network defenders, illustrating paths an attacker can use to gain access to a targeted network. Defenders can then focus their efforts on patc...
225
click to vote
CCECE
2006
IEEE
16 years 24 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
166
click to vote
COMPSAC
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
163
click to vote
ICAC
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— Shared computing utilities allocate compute, network, and storage resources to competing applications on demand. An awareness of the demands and behaviors of the hosted...