5030 search results - page 151 / 1006 » cases 2007 |
167
Voted
APIN
2007
15 years 7 months ago
2007
In this paper the agent-oriented modeling perspective to cope with biological complexity is discussed. Three levels of dynamics can distinguished and related to each other: dynami...
174
Voted
JWSR
2007
15 years 6 months ago
2007
: Testing the correctness of services assures the functional quality of service-oriented application. A service-oriented application may bind dynamically to its supportive services...
163
click to vote
WCE
2007
15 years 8 months ago
2007
—The dynamics of reciprocal transducer systems is modelled accounting for a nonlinear constitutive relation between the electric displacement and the electric field as reported ...
172
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this article, the authors examine the problem of designing nominal manipulator Jacobians that are optimally fault tolerant to one or more joint failures. In this work, optim...
150
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 1 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...