2473 search results - page 277 / 495 » Systems, Views and Models of UML |
179
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Service-Oriented Computing (SOC) enables the development and design of loosely coupled software components for integration with other software system. Since most legacy system wer...
184
click to vote
CHARME
2003
Springer
16 years 12 days ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
203
click to vote
VR
2002
IEEE
16 years 2 days ago
2002
IEEE
We present a system, ArtNova, for 3D model design with a haptic interface. ArtNova offers the novel capability of interactively applying textures onto 3D surfaces directly by brus...
362
click to vote
PUC
2008
15 years 6 months ago
2008
Abstract Mobile computing systems should be selfmanaged to simplify operation and maintenance plus meet user's expectation with respect to Quality of Service (QoS). When archi...
222
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Today's category-level object recognition systems largely focus on fronto-parallel views of objects with characteristic texture patterns. To overcome these limitations, we pr...