Sciweavers

5210 search results - page 24 / 1042
» Tools for Distributed Facilitation
Sort
View
ICEBE
2005
IEEE
165views Business» more  ICEBE 2005»
15 years 11 months ago
Distributed Policy Specification and Enforcement in Service-Oriented Business Systems
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...
Wei-Tek Tsai, Xinxin Liu, Yinong Chen
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 9 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
IPPS
1999
IEEE
15 years 10 months ago
Developing Parallel Applications Using the JAVAPORTS Environment
The JavaPorts system is an environment that facilitates the rapid development of modular, reusable, Java-based parallel and distributed applications for networked machines with het...
Demetris G. Galatopoullos, Elias S. Manolakos
IFIP
2000
Springer
15 years 9 months ago
Component Technology for High-Performance Scientific Simulation Software
We are developing scientific software component technology to manage the complexity of modern, parallel simulation software and increase the interoperability and re-use of scientif...
Thomas Epperly, Scott R. Kohn, Gary Kumfert
ECLIPSE
2006
ACM
15 years 12 months ago
Next-generation DPP with Sangam and Facetop
This paper describes a state-of-the-art environment for distributed Extreme Programming that results from combining the Sangam editor, developed at NCSU and the Facetop user inter...
Kanyamas Navoraphan, Edward F. Gehringer, James Cu...