3555 search results - page 134 / 711 » Security-Critical System Development with Extended Use Cases |
SIGADA
1998
Springer
15 years 5 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
139
click to vote
ENTCS
2002
15 years 1 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
112
Voted
CSREAPSC
2006
15 years 3 months ago
2006
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
BXML
2004
15 years 3 months ago
2004
Abstract. There exist different ways how to understand and use context information for RDF data. This paper summarizes these different ways and concentrates on the source informati...
86
Voted
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper suggests that the effects of counterterrorism policy on Violent Non-State Actors can be explored via systems dynamics. Specifically, we create a descriptive model of th...