9626 search results - page 1869 / 1926 » Invariant Based Programming |
WSC
2007
15 years 2 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...
ACMACE
2008
ACM
15 years 1 months ago
2008
ACM
This work challenges the conventional art experience. It brings together the fields of art, science, and software integration. The goal was to create a new kind of painting based ...
ANCS
2008
ACM
15 years 1 months ago
2008
ACM
Over the last decade, programmable Network Processors (NPs) have become widely used in Internet routers and other network components. NPs enable rapid development of complex packe...
110
click to vote
ESWS
2010
Springer
15 years 1 months ago
2010
Springer
In the Linked Open Data cloud one of the largest data sets, comprising of 2.5 billion triples, is derived from the Life Science domain. Yet this represents a small fraction of the ...
ASIACRYPT
2008
Springer
15 years 1 months ago
2008
Springer
Strongly multiplicative linear secret sharing schemes (LSSS) have been a powerful tool for constructing secure multi-party computation protocols. However, it remains open whether o...