Sciweavers

1620 search results - page 176 / 324
» An Annotation-Based Framework for Parallel Computing
Sort
View
MIDDLEWARE
2004
Springer
15 years 11 months ago
Exploring adaptability of secure group communication using formal prototyping techniques
Traditionally, adaptability in communication frameworks has been restricted to predefined choices without taking into consideration tradeoffs between them and the application req...
Sebastian Gutierrez-Nolasco, Nalini Venkatasubrama...
ECOOPW
2003
Springer
15 years 11 months ago
.NET: The Programmer's Perspective
Report about the ECOOP 2003 workshop WS 03, “.NET: The Programmer’s Perspective”.  Much of the push behind Microsoft's new .NET technology has been directed at such ...
Hans-Jürgen Hoffmann
GCC
2004
Springer
15 years 11 months ago
Agent-Oriented Formal Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David ...
BIRTHDAY
2010
Springer
15 years 7 months ago
Three Paths to Effectiveness
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...
Udi Boker, Nachum Dershowitz
GRID
2006
Springer
15 years 6 months ago
Multi-Replication with Intelligent Staging in Data-Intensive Grid Applications
Existing data grid scheduling systems handle huge data I/O via replica location services coupled with simple staging, decoupled from scheduling of computing tasks. However, when th...
Yuya Machida, Shin'ichiro Takizawa, Hidemoto Nakad...