3573 search results - page 476 / 715 » Reasoning about Codata |
198
click to vote
ICRA
2005
IEEE
16 years 23 days ago
2005
IEEE
— In the real world, noisy sensors and limited communication make it difficult for robot teams to coordinate in tightly coupled tasks. Team members cannot simply apply single-ro...
168
click to vote
ISQED
2005
IEEE
16 years 22 days ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
196
click to vote
KBSE
2005
IEEE
16 years 22 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
169
click to vote
WECWIS
2005
IEEE
16 years 22 days ago
2005
IEEE
We consider truthful online auctions that aim at optimizing sellers’ revenues, representing service contributors’ satisfactions, as a general model for pricing peer-to-peer se...
180
click to vote
IUI
2005
ACM
16 years 22 days ago
2005
ACM
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...