1643 search results - page 263 / 329 » Consistability: Describing Usually Consistent Systems |
166
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
119
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
140
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes our new algorithm for shot boundary detection and its evaluation. We adopt a 2-stage data fusion approach with SVM technique to decide whether a boundary exis...
149
click to vote
ICPPW
2006
IEEE
15 years 10 months ago
2006
IEEE
Applications augmented with adaptive capabilities are becoming common in parallel computing environments which share resources such as main memory, network, or disk I/O. For large...
150
click to vote
ROBIO
2006
IEEE
15 years 10 months ago
2006
IEEE
- The implementation of inverse kinematics and servo controller for robot manipulator using FPGA (Field Programmer Gate Array) is investigated in this paper. Firstly, the mathemati...