12289 search results - page 175 / 2458 » System modeling with mixed object and data models |
130
Voted
FUIN
2000
15 years 4 months ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
146
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
A Robotic System is being developed to automate the crucible packing process in the CZ semiconductor wafer production. It requires the delicate manipulation and packing of highly ...
159
click to vote
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
153
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
In enterprise architecture, the goal is to integrate business resources and IT resources in order to improve an enterprise’s competitiveness. In an enterprise architecture proje...
146
click to vote
IJCAI
2003
15 years 5 months ago
2003
The iterative closest point (ICP) algorithm [2] is a popular method for modeling 3D objects from range data. The classical ICP algorithm rests on a rigid surface assumption. Build...