5353 search results - page 235 / 1071 » Modelling Contexts in the Or-BAC Model |
162
click to vote
FC
2005
Springer
16 years 7 days ago
2005
Springer
We introduce tools to model and describe phishing attacks, allowing a visualization and quantification of the threat on a given complex system of web services. We use our new mod...
162
click to vote
UML
2005
Springer
16 years 5 days ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
163
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Models meant for logic verification and simulation are often used for ATPG. For custom digital circuits, these models contain many tristate devices, which leads to lower fault co...
170
click to vote
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...
152
click to vote
NAACL
2007
15 years 8 months ago
2007
Situated models of meaning ground words in the non-linguistic context, or situation, to which they refer. Applying such models to sports video retrieval requires learning appropri...