29082 search results - page 424 / 5817 » The Time-Triggered Model of Computation |
175
click to vote
CAGD
2010
15 years 4 months ago
2010
In this paper we introduce a new framework for geometric modeling that combines implicit and parametric surface representations with volumetric warpings. The framework is based on...
179
click to vote
EUROCRYPT
2007
Springer
16 years 1 months ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
196
click to vote
GCC
2003
Springer
16 years 1 days ago
2003
Springer
: In the Grid environment, user can manage and make use of web services, such as uploading or downloading web services. But when user want to download one web services to run it in...
207
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
175
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Safety assessment of genetically modified (GM) food, with regard to allergenic potential of transgene-encoded xenoproteins, typically involves several different method...