6961 search results - page 1182 / 1393 » Domain-Oriented design Environments |
169
click to vote
JAVA
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes a portable and efficient sampling-based online measurement system for production-level Java virtual machines. This system is designed to provide continuous re...
162
Voted
MA
2000
Springer
15 years 9 months ago
2000
Springer
Multiple, highly autonomous, satellite systems are envisioned in the near future because they are capable of higher performance, lower cost, better fault tolerance, reconfigurabil...
198
Voted
MA
2000
Springer
15 years 9 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
176
click to vote
CAV
1997
Springer
15 years 9 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
183
click to vote
ACCV
1995
Springer
15 years 9 months ago
1995
Springer
We present a binocular active vision system that can attend to and xate a moving target. Our system has an open and expandable design and it forms the rst steps of a long term e o...