Sciweavers

6530 search results - page 845 / 1306
» Application Integration
Sort
View
ICSE
2001
IEEE-ACM
16 years 2 days ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
JAVA
2001
Springer
16 years 2 days ago
Object-based collective communication in Java
CCJ is a communication library that adds MPI-like collective operations to Java. Rather than trying to adhere to the precise MPI syntax, CCJ aims at a clean integration of collect...
Arnold Nelisse, Thilo Kielmann, Henri E. Bal, Jaso...
KIVS
2001
Springer
16 years 2 days ago
Real-Time Support on Top of Ethernet
Ethernet is a widely used low-cost networking technology. It however lacks the determinism and resource management features needed to meet realtime requirements of multimedia appli...
Rainer Koster, Thorsten Kramp
SAIG
2001
Springer
16 years 1 days ago
MetaKlaim: Meta-programming for Global Computing
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
Gian Luigi Ferrari, Eugenio Moggi, Rosario Puglies...
VLDB
2001
ACM
74views Database» more  VLDB 2001»
16 years 1 days ago
The Propel Distributed Services Platform
The Propel Distributed Services Platform (PDSP) is the core software product of Propel, a new Internet infrastructure software company. The PDSP product was created to enable Java...
Michael J. Carey, Steve Kirsch, Mary Roth, Bert Va...