Sciweavers

3161 search results - page 455 / 633
» A Discourse on Complexity of Process Models
Sort
View
139
Voted
ESOP
2000
Springer
15 years 8 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
VW
2000
Springer
128views Virtual Reality» more  VW 2000»
15 years 8 months ago
The World of Framsticks: Simulation, Evolution, Interaction
A three-dimensional virtual world simulation is described, where evolution takes place and it is possible to investigate behaviors of creatures in real-time. Bodies of these creatu...
Maciej Komosinski
VLDB
1995
ACM
214views Database» more  VLDB 1995»
15 years 8 months ago
Dynamic Multi-Resource Load Balancing in Parallel Database Systems
Parallel database systems have to support the effective parallelization of complex queries in multi-user mode, i.e. in combination with inter-query/inter-transaction parallelism. ...
Erhard Rahm, Robert Marek
ATAL
2008
Springer
15 years 6 months ago
Towards a Formalisation of Electronic Contracting Environments
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...
Nir Oren, Sofia Panagiotidi, Javier Vázquez...
ICCSA
2010
Springer
15 years 6 months ago
Transferring Indicators into Different Partitions of Geographic Space
Nowadays, spatial analysis led on complex phenomenon implies the usage of data available on heterogeneous territorial meshes, that is to say misaligned meshes. Then, combine these ...
Christine Plumejeaud, Julie Prud'homme, Paule-Anni...