269 search results - page 44 / 54 » Applications of MetiTarski in the Verification of Control an... |
FPL
2007
Springer
14 years 27 days ago
2007
Springer
We are developing a set of reusable design blocks and several prototype systems for emulation of multi-core architectures in FPGAs. RAMP Blue is the first of these prototypes and...
PODC
2011
ACM
12 years 9 months ago
2011
ACM
We present a cryptographic framework to achieve access control, privacy of social relations, secrecy of resources, and anonymity of users in social networks. The main idea is to u...
HT
2004
ACM
14 years 4 days ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
ALIFE
2002
13 years 6 months ago
2002
A new approach called bioinspired engineering of exploration systems (BEES) and its value for solving pressing NASA and DoD needs are described. Insects (for example honeybees and ...
CGF
2000
13 years 6 months ago
2000
We present an interactive system for the generation of high quality triangle meshes that allows us to handle hybrid geometry (point clouds, polygons, ...) as input data. In order ...