7366 search results - page 273 / 1474 » Development of the Information Systems Implementation Resear... |
178
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
We have developed a method for recognizing and tracking known three-dimensional objects in scene images captured from a user’s viewpoint. The method uses multiple color histogra...
175
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
120
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
With the tremendous advances in processor and memory technology, I/O has risen to become the bottleneck in high-performance computing for many applications. The development of par...
183
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
238
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Automatic management of large-scale production systems requires a continuous monitoring service to keep track of the states of the managed system. However, it is challenging to ac...