1676 search results - page 272 / 336 » Formal System Development with KIV |
111
click to vote
PERCOM
2008
ACM
16 years 3 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
147
click to vote
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...
111
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
132
click to vote
BIBE
2006
IEEE
15 years 10 months ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...
142
Voted
PRDC
2006
IEEE
15 years 10 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...