We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
Agile project management with Scrum derives from best business practices in companies like Fuji-Xerox, Honda, Canon, and Toyota. Toyota routinely achieves four times the productiv...
Jeff Sutherland, Anton Viktorov, Jack Blount, Niko...
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
John Boyland, Dave Clarke, Gary T. Leavens, France...
Applications can communicate over the WEB using a variety to tools and techniques. Both Java and PERL are common languages used in WEB communication. A Simple Object Access Protoc...
Roger Eggen, Sanjay P. Ahuja, Paul Elliott, Mauric...
Chip Multi-Threaded (CMT) processors provide support for many simultaneous hardware threads of execution in various ways, including Simultaneous Multithreading (SMT) and Chip Mult...