1830 search results - page 69 / 366 » Centering in Dynamic Semantics |
ICRA
2009
IEEE
14 years 9 months ago
2009
IEEE
A new robot hand dynamics model with rolling constraints and with a saddle joint at one finger is proposed, where two saddle-joint actuations are considered to be orderless. Spinni...
ECOOPW
1997
Springer
15 years 3 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
113
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
OTM
2005
Springer
15 years 4 months ago
2005
Springer
This paper proposes a model for integrating a higher level Semantic Grid Middleware with Web Service Resource Framework (WSRF) that extends the prototype presented in [1] informed ...
108
click to vote
FUIN
2006
14 years 11 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...