1064 search results - page 15 / 213 » Disjoint Systems (Extended Abstract) |
CISIS
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
LPAR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
PVM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The MPI-2 standard added a new feature to MPI called generalized requests. Generalized requests allow users to add new nonblocking operations to MPI while still using man...
ADAEUROPE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Current e-learning standards have been designed to provide reusability of educational contents and interoperability between systems. Besides these features, content perso...