7452 search results - page 1082 / 1491 » A Semantics for Multiprocessor Systems |
174
click to vote
IROS
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...
194
click to vote
SACMAT
2006
ACM
16 years 25 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
164
click to vote
HICSS
2005
IEEE
16 years 15 days ago
2005
IEEE
Previous research has taught us that the typical nonprofessional information seeker on the World Wide Web submits very short queries resulting in low-precision results. We show th...
186
click to vote
IDEAS
2005
IEEE
16 years 14 days ago
2005
IEEE
Our goal is to support transaction-time functionality that enables the coexistence of ordinary, non-temporal tables with transaction-time tables. In such a system, each transactio...
168
click to vote
IRI
2005
IEEE
16 years 14 days ago
2005
IEEE
Role-Based Access Control (RBAC) models have emerged as a leading access control approach for today’s information systems. Hybrid role hierarchies introduced in the Generalized ...