6796 search results - page 349 / 1360 » Java for Embedded Systems |
142
click to vote
CSCW
1998
ACM
15 years 8 months ago
1998
ACM
The Artefact framework supports collaborative applications using standard browsers, a lightweight general-purpose Java applet, and HTML representations of objects and actions. We ...
139
click to vote
AIPRF
2007
15 years 5 months ago
2007
We considered different varieties of inference engines for a sub-system of Mission Control Technologies (MCT) being developed at NASA Ames Research center. One inference engine, J...
149
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Web applications are becoming the dominant way to provide access to on-line services. At the same time, web application vulnerabilities are being discovered and disclosed at an al...
119
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
138
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...