4385 search results - page 828 / 877 » Abstraction for Concurrent Objects |
398
click to vote
STACS
2010
Springer
16 years 14 days ago
2010
Springer
Abstract. In this talk, I will review some of the work performed by the research community in cryptology and security since the invention of public key cryptography by Diffie and H...
161
click to vote
HRI
2010
ACM
16 years 10 days ago
2010
ACM
Abstract—We describe a multimodal framework for interacting with an autonomous robotic forklift. A key element enabling effective interaction is a wireless, handheld tablet with ...
157
click to vote
DNIS
2010
Springer
16 years 9 days ago
2010
Springer
Abstract. As data warehousing technology gains a ubiquitous presence in business today, companies are becoming increasingly reliant upon the information contained in their data war...
164
click to vote
EVOW
2010
Springer
16 years 9 days ago
2010
Springer
Abstract. Finding appropriate parameter values for Evolutionary Algorithms (EAs) is one of the persistent challenges of Evolutionary Computing. In recent publications we showed how...
140
click to vote
LCTRTS
2010
Springer
16 years 9 days ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...