Sciweavers

3228 search results - page 312 / 646
» Basics of Compiler Design
Sort
View
AINA
2007
IEEE
16 years 1 months ago
Random Oracle Instantiation in Distributed Protocols Using Trusted Platform Modules
The random oracle model is an idealized theoretical model that has been successfully used for designing many cryptographic algorithms and protocols. Unfortunately, a series of res...
Vandana Gunupudi, Stephen R. Tate
175
Voted
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
16 years 1 months ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
149
Voted
LAWEB
2007
IEEE
16 years 29 days ago
Personal Robots as Ubiquitous-Multimedial-Mobile Web Interfaces
Personal robots are designed to provide entertainment, companion and communication interfaces. They can play an important role as natural, flexible and non-invasive interfaces to ...
Javier Ruiz-del-Solar
DALT
2007
Springer
16 years 26 days ago
Composing High-Level Plans for Declarative Agent Programming
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
Felipe Rech Meneguzzi, Michael Luck
CBMS
2006
IEEE
16 years 22 days ago
A Conceptual Grid Architecture for Interactive Biomedical Applications
The growing complexity of distributed biomedical application requirements present new challenges to the representation of software architectural analysis and design. This is the c...
Alfredo Tirado-Ramos, Peter M. A. Sloot