Sciweavers

3504 search results - page 202 / 701
» Computational Aspects of Equilibria
Sort
View
SAC
2006
ACM
16 years 1 months ago
An evaluation of conceptual business process modelling languages
Conceptual Business Process Modelling Languages (BPMLs) express certain aspects of processes (e.g. activities, roles, interactions, data, etc.) and address different application a...
Beate List, Birgit Korherr
ICPR
2010
IEEE
16 years 26 days ago
Symbol Recognition Combining Vectorial and Pixel-Level Features for Line Drawings
—In this paper, we present an approach for symbol representation and recognition in line drawings, integrating both the vector-based structural description and pixel-level statis...
Feng Su, Tong Lu
FROCOS
2005
Springer
16 years 22 days ago
A Complete Temporal and Spatial Logic for Distributed Systems
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
Dirk Pattinson, Bernhard Reus
ICCS
2005
Springer
16 years 22 days ago
Dynamic Data Driven Methodologies for Multiphysics System Modeling and Simulation
We are presenting a progress overview associated with our work on a data-driven environment for multiphysics applications (DDEMA). In this paper, we emphasize the dynamic-data-driv...
John Michopoulos, Charbel Farhat, Elias N. Houstis...
KIVS
2005
Springer
16 years 22 days ago
A Peer-to-Peer Webcam Network
: Today, most peer-to-peer networks are specialised for sharing files, mostly video and audio files. In this paper we describe a peer-to-peer network we are currently implementin...
Nicolas Liebau, Oliver Heckmann, Ian Hubbertz, Ral...