1027 search results - page 108 / 206 » A Model for Java with Wildcards |
132
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
125
Voted
NSPW
2004
ACM
15 years 9 months ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
113
Voted
ISIM
2007
15 years 5 months ago
2007
Transformations from the Enterprise Distributed Object Computing (EDOC) to Enterprise JavaBeans (EJB) are examined herein from the point of view of an efficiency characteristic of ...
143
Voted
WSC
1998
15 years 4 months ago
1998
The use of the World Wide Web and Java-based mobile code provides new opportunities for distributed simulation. First, the infrastructure provided by the Internet eliminates the n...
152
Voted
ICHIM
2001
15 years 5 months ago
2001
Within the field of cultural heritage restoration, experts are interested in the analysis of data describing the condition and history of ancient monuments. Data are usually distr...