3555 search results - page 29 / 711 » Security-Critical System Development with Extended Use Cases |
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
132
click to vote
CCE
2011
14 years 8 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
ICDIM
2007
IEEE
15 years 7 months ago
2007
IEEE
: This paper proposes a context-aware security service providing multiple authentications and authorization from a Security Level which is decided dynamically in a context-aware en...
102
click to vote
TAOSD
2010
14 years 11 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
EGOV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Most reported literature on evaluation of e-government systems tend to focus on narrow aspects of project design and implementation. The larger context of development and...