606 search results - page 31 / 122 » An Environment Physically Distributed in Java |
105
click to vote
MKM
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
144
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
112
click to vote
SEKE
2001
Springer
15 years 7 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
116
click to vote
SWS
2006
ACM
15 years 8 months ago
2006
ACM
Single sign-on is critical for the usability of distributed systems. While there are several authentication mechanisms which support single sign-on (e.g. Kerberos and X.509), it m...
124
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...