3573 search results - page 476 / 715 » Reasoning about Codata |
179
click to vote
ICRA
2005
IEEE
16 years 3 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...
151
click to vote
ISQED
2005
IEEE
16 years 3 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...
175
click to vote
KBSE
2005
IEEE
16 years 3 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...
151
click to vote
WECWIS
2005
IEEE
16 years 2 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...
155
click to vote
IUI
2005
ACM
16 years 2 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...