Sciweavers

7040 search results - page 137 / 1408
» The Single Model Principle
Sort
View
CORR
2011
Springer
176views Education» more  CORR 2011»
13 years 4 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...
BTW
2007
Springer
93views Database» more  BTW 2007»
14 years 3 months ago
Towards an Integrated Model for Data, Metadata, and Operations
: Information integration requires manipulating data and metadata in ways that in general go beyond a single existing transformation formalism. As a result, a complete source-to-ta...
Jürgen Göres, Stefan Dessloch

Book
1702views
15 years 7 months ago
Numerical Methods with Applications
"Mathematical models are an integral part in solving engineering problems. Many times, these mathematical models are derived from engineering and science principles, while at ...
Autar K Kaw, Egwu E Kalu
ICARIS
2005
Springer
14 years 2 months ago
Towards a Conceptual Framework for Innate Immunity
Innate immunity now occupies a central role in immunology. However, artificial immune system models have largely been inspired by adaptive not innate immunity. This paper reviews ...
Jamie Twycross, Uwe Aickelin
JANCL
2007
107views more  JANCL 2007»
13 years 9 months ago
Distributed knowledge
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
Floris Roelofsen