4693 search results - page 222 / 939 » Verifying Hybrid Systems |
178
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
162
click to vote
ICDIM
2007
IEEE
16 years 26 days ago
2007
IEEE
It becomes clear for manufacturing companies that product lifecycle cost (LCC) is as crucial as product quality and functionality in deciding the success of a product in the marke...
194
click to vote
GCC
2006
Springer
15 years 10 months ago
2006
Springer
An important problem that confronts data grid applications is to efficiently locate the node that stores a particular data replica. This paper proposes a Hierarchical Replica Loca...
189
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Channel estimation (CE) plays an important role in determining the achievable performance of coherently detected communications systems. In this paper, the impact of im...
168
click to vote
CG
1999
Springer
15 years 6 months ago
1999
Springer
Multi-user augmented reality systems are especially dependent on precise registration. In this paper, we present a hybrid tracking system that combines optical and magnetic tracki...