3555 search results - page 126 / 711 » Security-Critical System Development with Extended Use Cases |
129
click to vote
APPML
2006
15 years 1 months ago
2006
In this work we extend results from the literature on H design with pole placement constraints to the case of generalized state space models, for both continuous-time and discrete...
135
click to vote
CASES
2007
ACM
15 years 5 months ago
2007
ACM
Embedded platforms are resource-constrained systems in which performance and memory requirements of executed code are of critical importance. However, standard techniques such as ...
102
click to vote
ENTCS
2007
15 years 1 months ago
2007
PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environme...
CORR
2000
Springer
15 years 1 months ago
2000
Springer
We study the dynamics of the so-called Game of Cards by using tools developed in the context of discrete dynamical systems. We extend a result of [4] and [10] (the last one in the ...
128
click to vote
ICSR
2009
Springer
15 years 8 months ago
2009
Springer
Fudan Wingsoft Ltd. developed a product Line of Wingsoft Financial Management Systems (WFMS-PL) providing web-based financial services for employees and students at universities in...