3555 search results - page 637 / 711 » Security-Critical System Development with Extended Use Cases |
101
click to vote
SPATIALCOGNITION
1998
Springer
15 years 5 months ago
1998
Springer
This paper investigates geometric and ontological aspects of shape concepts underlying the semantics of nouns. Considering the German shape nouns Ecke and Knick (corner and kink) w...
POPL
1994
ACM
15 years 5 months ago
1994
ACM
In this paper we present techniques to nd subsets of nodes of a owgraph that satisfy the followingproperty: A test set that exercises all nodes in a subset exercises allnodes in t...
106
click to vote
AAAI
2007
15 years 3 months ago
2007
In this paper we develop a novel probabilistic model of computational trust that allows agents to exchange and combine reputation reports over heterogeneous, correlated multi-dime...
111
click to vote
DSN
2008
IEEE
15 years 3 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
110
click to vote
WSC
2004
15 years 2 months ago
2004
Discrete event simulation modelling has been extensively used in modelling complex systems. Although it offers great conceptual-modelling flexibility, it is both computationally e...