2813 search results - page 217 / 563 » Formalizing Architectural Connection |
171
click to vote
CD
2005
Springer
16 years 2 days ago
2005
Springer
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall a...
170
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
In previous studies on 4-DOF parallel mechanisms with four sub-chains, only symmetric arrangement of those four chains connected to the top plate was considered. Such symmetric sha...
178
click to vote
ICECCS
2007
IEEE
16 years 26 days ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
156
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...
123
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...