789 search results - page 31 / 158 » Pushing using Compliance |
COORDINATION
2010
Springer
15 years 1 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
126
click to vote
ICRA
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract— This paper introduces a novel robotic finger concept for variable impedance grasping in unstructured tasks. A brief literature survey reveals the need for minimal comp...
114
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...
CSEE
2009
Springer
15 years 5 months ago
2009
Springer
Assessing software engineering course projects should evaluate the achievement of proposed goals, as well as the compliance with mandated standards and processes. This might requi...
ENTCS
2006
15 years 1 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...