Sciweavers

4350 search results - page 548 / 870
» Case studies for contract-based systems
Sort
View
ICSM
2007
IEEE
16 years 1 months ago
How Programmers Can Turn Comments into Waypoints for Code Navigation
We have developed a new approach for software navigation called TagSEA (Tagging of Software Engineering Activities). TagSEA combines the notion of “waypointing” with “social...
Margaret-Anne D. Storey, Li-Te Cheng, Janice Singe...
IPPS
2007
IEEE
16 years 1 months ago
Challenges in Executing Data Intensive Biometric Workloads on a Desktop Grid
Desktop grids have traditionally focused on executing computation intensive workloads. Can they also be used to execute data-intensive workloads? To answer this question, we prese...
Christopher Moretti, Timothy C. Faltemier, Douglas...
IWPC
2007
IEEE
16 years 1 months ago
Detecting Interaction Coupling from Task Interaction Histories
A repository of task structures can reveal important latent knowledge about the development of a software system. Although approaches have been proposed to recover artifacts withi...
Lijie Zou, Michael W. Godfrey, Ahmed E. Hassan
QSIC
2007
IEEE
16 years 1 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
SEFM
2007
IEEE
16 years 1 months ago
Retrenchment and the Atomicity Pattern
The issues surrounding the question of atomicity, both in the past and nowadays, are briefly reviewed, and a picture of an ACID (atomic, consistent, isolated, durable) transactio...
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan...