7103 search results - page 1343 / 1421 » Program Generation and Components |
RTSS
1998
IEEE
14 years 1 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
VVS
1998
IEEE
14 years 1 months ago
1998
IEEE
A visibility ordering of a set of objects, from a given viewpoint, is a total order on the objects such that if object a obstructs object b, then b precedes a in the ordering. Suc...
AGENTS
1998
Springer
14 years 1 months ago
1998
Springer
Which agent architectures are capable of justifying descriptions in terms of the `higher level' mental concepts applicable to human beings? We propose a new kind of architect...
SIGCOMM
1998
ACM
14 years 1 months ago
1998
ACM
Recent studies provide evidence that Quality ofService QoS routing can provide increased network utilization compared to routing that is not sensitive to QoS requirements of tra...
VRML
1998
ACM
14 years 1 months ago
1998
ACM
Peloton is a sports simulator that uses the Virtual Reality Modeling Language (VRML) to create virtual environments for athletic training and competition. In particular, it create...