5945 search results - page 270 / 1189 » A Model for Projection and Action |
160
click to vote
IEEEIAS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
179
click to vote
ACSD
2006
IEEE
16 years 25 days ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
196
click to vote
ALS
2003
Springer
16 years 8 hour ago
2003
Springer
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...
147
Voted
CSCW
1990
ACM
15 years 10 months ago
1990
ACM
This paperdescribesthe conceptual model of Strudel, a toolkit of generic components for conversation and action management. To empower work groups to more effectively conduct thei...
173
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...