Sciweavers

4957 search results - page 82 / 992
» Simplifying Distributed System Development
Sort
View
APSEC
2000
IEEE
14 years 9 days ago
An adaptive distributed workflow system framework
Workflow management systems are increasingly used to assist the automation of business processes that involve the exchange of documents, information, or task execution results. Re...
Martin K. Purvis, Maryam Purvis, Selena Lemalu
CCGRID
2007
IEEE
14 years 2 months ago
Standardization of an API for Distributed Resource Management Systems
Today’s cluster and grid environments demand the usage of product-specific APIs and tools for developing distributed applications. We give an overview of the Distributed Resour...
Peter Tröger, Hrabri Rajic, Andreas Haas, Pio...
IPPS
2000
IEEE
14 years 8 days ago
Automatic Implementation of Distributed Systems Formal Specifications
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
Luiz Henrique Castelo Branco, Antônio Franci...
FM
2003
Springer
96views Formal Methods» more  FM 2003»
14 years 1 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
SAFECOMP
1999
Springer
14 years 4 days ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...