376 search results - page 15 / 76 » A Controlled Language for the Specification of Contracts |
100
click to vote
INTERNET
2007
14 years 9 months ago
2007
it’s hardly Earth-shattering: abstracting your business services and separating them from your applications can yield an overall system that’s easier to build, maintain, and ex...
CLEF
2008
Springer
14 years 11 months ago
2008
Springer
The domain-specific track evaluates retrieval models for structured scientific bibliographic collections in English, German and Russian. Documents contain elements (title, abstrac...
FSEN
2009
Springer
15 years 1 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
108
click to vote
AROBOTS
2010
14 years 10 months ago
2010
We present a new bio-inspired control strategy for an autonomous underwater vehicle by constructing coupled nonlinear oscillators, similar to the animal central pattern generators ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...