1346 search results - page 183 / 270 » Alternating-time dynamic logic |
141
click to vote
OTM
2007
Springer
16 years 8 days ago
2007
Springer
The number of processors embedded in high performance computing platforms is growing daily to solve larger and more complex problems. However, as the number of components increases...
167
click to vote
OTM
2007
Springer
16 years 8 days ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
154
click to vote
IAT
2006
IEEE
16 years 5 days ago
2006
IEEE
Negotiating with suppliers and with customers is a key part of supply chain management. However, with recent technological advances, the mechanisms available to carry out such act...
165
click to vote
IROS
2006
IEEE
16 years 4 days ago
2006
IEEE
— This paper addresses the multiple tasks performing issues for redundant nonholonomic mobile manipulators. An extended gradient projection redundancy resolution scheme is propos...
178
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...