4290 search results - page 150 / 858 » Formal Approaches to Teamwork |
157
click to vote
HPCA
2003
IEEE
16 years 7 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
129
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
162
click to vote
SP
2007
IEEE
16 years 26 days ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
184
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Hermes is an ontology-based framework for building news personalization services. This framework consists of a news classification phase, which classifies the news, a knowledge ...
133
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— This paper describes a cooperative method for relative localization of mobile robot teams; that is, it describes a method whereby every robot in the team can estimate the pose ...