4096 search results - page 541 / 820 » An Object Model for Interoperable Systems |
186
Voted
TOG
2008
15 years 6 months ago
2008
We present a system for free-form surface modeling that allows a user to modify a shape by changing its rendered, shaded image using stroke-based drawing tools. User input is tran...
155
Voted
WSC
2007
15 years 9 months ago
2007
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...
262
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
This paper presents a model and a tool that allows Web users to define, execute, and manage lifecycles for any artifact available on the Web. In the paper we show the need for life...
183
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
The motion of fluids has been a topic of study for hundredsof years. In its most general setting, fluid flow is governed by a system of non-linear partial differential equation...
194
click to vote
QEST
2007
IEEE
16 years 29 days ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...