2421 search results - page 333 / 485 » Integrity Assurance Technique Using Determinant Approach |
128
click to vote
IEAAIE
2001
Springer
15 years 9 months ago
2001
Springer
Scheduling problems can be seen as a set of temporal metric and disjunctive constraints. So, they can be formulated in terms of CSPs techniques. In the literature, there are CSP-b...
169
Voted
CCS
2011
ACM
14 years 4 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
139
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
147
click to vote
RT
2000
Springer
15 years 8 months ago
2000
Springer
Rapidly simulating global illumination, including diffuse and glossy light transport is a very difficult problem. Finite element or radiosity approaches can achieve interactive si...
150
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...