3555 search results - page 284 / 711 » Security-Critical System Development with Extended Use Cases |
158
Voted
AUTOMATICA
2008
15 years 6 months ago
2008
In this paper, we present an analysis and synthesis framework for guaranteeing that the phase of a single-input, single-output closed-loop transfer function is contained in the int...
129
click to vote
APAL
2006
15 years 6 months ago
2006
We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extend...
209
click to vote
TPDS
2002
15 years 6 months ago
2002
Distributed dynamic channel allocation (DDCA) is a fundamental resource management problem in mobile cellular networks. It has a flavor of distributed mutual exclusion but is not e...
179
click to vote
IJCAI
1989
15 years 7 months ago
1989
The knowledge to be acquired for the development of knowledge based systems is often distributed across a group of experts rather than available for elicitation from a single expe...
205
click to vote
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...