2740 search results - page 265 / 548 » A Model-Based Approach To Requirements Analysis |
142
click to vote
ICDCIT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
118
Voted
DAPSYS
2004
Springer
15 years 9 months ago
2004
Springer
Todays computational grids are used mostly for batch processing and throughput computing, where jobs are submitted to a queue, processed, and finally delivered for post-mortem an...
126
click to vote
EUSAI
2003
Springer
15 years 9 months ago
2003
Springer
Intelligent environments frequently embed a varying number of output means. In this paper, we present an analysis of the task of generating a coherent presentation across multiple ...
142
click to vote
IFL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
116
click to vote
TACS
1991
Springer
15 years 7 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...