9227 search results - page 201 / 1846 » Developing Use Cases from Organizational Modeling |
152
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Correct temporal and spatial gene expression during metazoan development relies on combinatorial interactions between different transcription factors. As a consequence...
138
Voted
EDBT
2000
ACM
15 years 8 months ago
2000
ACM
OLAP applications use precomputation of aggregate data to improve query response time. While this problem has been well-studied in the recent database literature, to our knowledge ...
140
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
173
click to vote
HICSS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...
150
click to vote
FAC
2007
15 years 5 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...