3458 search results - page 258 / 692 » Abstracting Control |
131
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
161
click to vote
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
110
click to vote
MFCS
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
140
click to vote
DSONLINE
2006
15 years 3 months ago
2006
We propose extending these middleware approaches with suitable abstractions to better support protocolbased interaction in mobile applications. To test our approach, we created Obj...
153
click to vote
COGSCI
2008
15 years 2 months ago
2008
This article demonstrates the potential of using hierarchical Bayesian methods to relate models and data in the cognitive sciences. This is done using a worked example that consid...