Sciweavers

2086 search results - page 204 / 418
» Principles of Software Evolution
Sort
View
PUC
2006
117views more  PUC 2006»
15 years 6 months ago
AMUN: an autonomic middleware for the Smart Doorplate Project
Abstract. We envision future office buildings that partly or fully implement a flexible office organization where office rooms are dynamically assigned to currently present employe...
Wolfgang Trumler, Jan Petzold, Faruk Bagci, Theo U...
RE
2006
Springer
15 years 6 months ago
A Case Study in Systematic Improvement of Language for Requirements
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...
Kimberly S. Wasson
168
Voted
RE
2002
Springer
15 years 5 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
179
Voted
APAL
2011
15 years 1 months ago
The provably total NP search problems of weak second order bounded arithmetic
We define a new NP search problem, the “local improvement” principle, about labellings of an acyclic, bounded-degree graph. We show that, provably in PV, it characterizes the...
Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Ne...
BMCBI
2007
118views more  BMCBI 2007»
15 years 6 months ago
A topological algorithm for identification of structural domains of proteins
Background: Identification of the structural domains of proteins is important for our understanding of the organizational principles and mechanisms of protein folding, and for ins...
Frank Emmert-Streib, Arcady R. Mushegian