Sciweavers

1114 search results - page 127 / 223
» An Architecture for Peer-to-peer Reasoning
Sort
View
IAT
2008
IEEE
16 years 26 days ago
Levels of Modalities for BDI Logic
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...
Jeff Blee, David Billington, Guido Governatori, Ab...
AINA
2007
IEEE
16 years 23 days 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
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
16 years 22 days ago
Security Conscious Web Service Composition with Semantic Web Support
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
Barbara Carminati, Elena Ferrari, Ryan Bishop, Pat...
IPPS
2007
IEEE
16 years 21 days ago
Explaining StGermain: An aspect oriented environment for building extensible computational mechanics modeling software
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
Steve Quenette, Louis Moresi, P. D. Sunter, Bill F...
IROS
2007
IEEE
120views Robotics» more  IROS 2007»
16 years 21 days ago
Speech and action: integration of action and language for mobile robots
— We describe the tight integration of incremental natural language understanding, goal management, and action processing in a complex robotic architecture, which is required for...
Timothy Brick, Paul W. Schermerhorn, Matthias Sche...