Sciweavers

3872 search results - page 305 / 775
» The Java memory model
Sort
View
SPAA
2010
ACM
15 years 8 months ago
Transactions in the jungle
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...
Rachid Guerraoui, Thomas A. Henzinger, Michal Kapa...
ENTCS
2010
84views more  ENTCS 2010»
15 years 3 months ago
Resource Modeling for Timed Creol Models
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Gr...
NSPW
2004
ACM
15 years 9 months ago
Symmetric behavior-based trust: a new paradigm for internet computing
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...
Vivek Haldar, Michael Franz
114
Voted
ISIM
2007
15 years 5 months ago
Transformations from EDOC to EJB by Composition of Mapping Operations
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 ...
Dariusz Gall
WSC
1998
15 years 5 months ago
Web-based Simulation Experiments
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...
Enver Yücesan, Chun-Hung Chen, Insup Lee