3384 search results - page 450 / 677 » More Testable Properties |
230
click to vote
LICS
2002
IEEE
16 years 4 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
184
click to vote
PDP
2002
IEEE
16 years 4 days ago
2002
IEEE
Existing distributed middleware technologies and Enterprise Application frameworks lack in support to service flexibility from both the developer’s and user’s point of view. ...
233
click to vote
PG
2002
IEEE
16 years 4 days ago
2002
IEEE
Densely-sampled image representations such as the light field or Lumigraph have been effective in enabling photorealistic image synthesis. Unfortunately, lighting interpolation w...
202
click to vote
WMCSA
2002
IEEE
16 years 4 days ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
183
click to vote
WMTE
2002
IEEE
16 years 4 days ago
2002
IEEE
Our research aims at defining models and software tools in order to provide learners with a training memory. This memory is a computer-based space where a learner can organize and...