2940 search results - page 220 / 588 » Behavioral Constraints for Services |
150
Voted
ICRA
2005
IEEE
16 years 6 days ago
2005
IEEE
— The possibility of controlling humanoid robots in free-space opens new fields of application involving freefloating behaviors. Recently, we presented a prioritized taskorient...
163
click to vote
WECWIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Business rules are a cornerstone of the consistency management of e-commerce data. The concurrency of transactions by multiple customers of e-commerce services (e.g., seat reserva...
158
click to vote
KIVS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract: The goals of the interdisciplinary project HORN were as well to improve competitiveness of service providers that deliver grocery items as to develop new hardware and sof...
156
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
When will we be secure? Nobody knows for sure – but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customers...
183
click to vote
CAV
2010
Springer
2010
Springer
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
15 years 8 months ago
Triggering errors in concurrent programs is a notoriously difficult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...