4258 search results - page 558 / 852 » Languages and Interactive Software Development |
164
click to vote
VRML
2003
ACM
15 years 9 months ago
2003
ACM
Success of 3D applications on the Web inherently depends on object behavior and interaction. Current Web3D formats often fall short in supporting behavior modeling. This paper int...
120
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
144
click to vote
DCC
2006
IEEE
16 years 4 months ago
2006
IEEE
A covering array CA(N; t, k, v) is an N ? k array such that every N ? t sub-array contains all t-tuples from v symbols at least once, where t is the strength of the array. Coverin...
156
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
144
click to vote
ADAEUROPE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present Sancta, a flexible control architecture for multirobot teams. It is fully written in Ada 2005, except for the reuse of some C libraries. In this paper we high...