Sciweavers

2050 search results - page 342 / 410
» A formal foundation for process modeling
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 11 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
IFL
2003
Springer
15 years 11 months ago
Dynamic Chunking in Eden
Parallel programming generally requires awareness of the granularity and communication requirements of parallel subtasks, since without precaution, the overhead for parameter and r...
Jost Berthold
CCGRID
2002
IEEE
15 years 11 months ago
Towards Trust-Aware Resource Management in Grid Computing Systems
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...
Farag Azzedin, Muthucumaru Maheswaran
LOPSTR
1999
Springer
15 years 10 months ago
Roles of Program Extension
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
Ralf Lämmel, Günter Riedewald, Wolfgang ...
COSIT
1997
Springer
131views GIS» more  COSIT 1997»
15 years 10 months ago
Cognitive Requirements on Making and Interpreting Maps
We present an approach to modeling human interpretation of (real) geographic maps. While in Geographic Information Systems (GIS) the limitations for describing geographic knowledge...
Thomas Barkowsky, Christian Freksa