7124 search results - page 1058 / 1425 » Programming Languages and Operating Systems |
120
click to vote
ROBOCUP
1999
Springer
15 years 9 months ago
1999
Springer
Versatile physical and behavioral features as well as their exploitation through computation-power onboard the robot-players are feasible and necessary goals for the RoboCup small ...
141
click to vote
CHI
1995
ACM
15 years 8 months ago
1995
ACM
Current networked information systems on the Internet, whilst extremely successful, run into problems of fragmentation, consistency, scalability, and loss of orientation. The deve...
146
click to vote
IANDC
2007
15 years 4 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...
122
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
The advantages of object-oriented (OO) programming are well-known. Nevertheless, distributed OO middleware systems (OOM) such as CORBA, DCOM or Java RMI have not been widely adopt...
131
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
– In this paper, we present an open architecture Virtual Test Environment (VTE) which can be easily integrated into various modularized Automatic Test Systems (ATS) compliant to ...