1027 search results - page 68 / 206 » A Model for Java with Wildcards |
98
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
138
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...
103
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Over the last year Peer-to-Peer (p2p) implementations have evolved from experimental to sophisticated systems. Mobile agents have a long e-Commerce history dating back to the midd...
130
Voted
VRML
1999
ACM
15 years 7 months ago
1999
ACM
We describe a VRML/Java-based virtual environment that is populated with heterogeneous articulated agents. In this simulated environment, agents compete for collecting certain obj...
ENTCS
2007
15 years 3 months ago
2007
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...