1300 search results - page 239 / 260 » Visual Languages |
VRML
2010
ACM
15 years 1 months ago
2010
ACM
Thanks to the WebGL graphics API specification for the JavaScript programming language, the possibility of using the GPU capabilities in a web browser without the need for an ad-...
HICSS
2009
IEEE
15 years 1 months ago
2009
IEEE
As virtual worlds evolve, so does the visual complexity and customizability of the avatars inside the worlds. In virtual worlds such as Second Life, prospering virtual fashion ind...
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
CDB
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...