9227 search results - page 201 / 1846 » Developing Use Cases from Organizational Modeling |
205
Voted
BMCBI
2007
15 years 7 months ago
2007
Background: Correct temporal and spatial gene expression during metazoan development relies on combinatorial interactions between different transcription factors. As a consequence...
187
Voted
EDBT
2000
ACM
15 years 10 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 ...
178
Voted
FM
2003
Springer
16 years 7 days 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...
219
Voted
HICSS
2010
IEEE
15 years 5 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...
204
click to vote
FAC
2007
15 years 7 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...