9166 search results - page 223 / 1834 » A framework for comparing models of computation |
146
click to vote
TISSEC
2010
15 years 2 months ago
2010
Privacy has been acknowledged to be a critical requirement for many business (and non-business) environments. Therefore, the definition of an expressive and easy-to-use privacyre...
158
click to vote
APSCC
2008
IEEE
15 years 10 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
127
click to vote
SIGGRAPH
1991
ACM
15 years 7 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...
150
click to vote
JCP
2008
15 years 4 months ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
103
click to vote
CORR
2009
Springer
15 years 2 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...