8644 search results - page 70 / 1729 » On the Composition of Secure Systems |
ICTAI
1993
IEEE
14 years 1 months ago
1993
IEEE
Tropes, an object-based knowledge representation system, has been added three important intertwined features: constraints, composite objects and tasks. Constraints provide a decla...
JMM2
2006
13 years 9 months ago
2006
Facial composites are pictures of human faces. These are normally constructed by victims and witnesses of crime who describe a suspect's face and then select individual facial...
NIME
2004
Springer
14 years 2 months ago
2004
Springer
Though musical performers routinely use eye movements to communicate with each other during musical performances, very few performers or composers have utilized eye tracking devic...
FM
2003
Springer
14 years 2 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
JOT
2010
13 years 3 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...