Sciweavers

502 search results - page 39 / 101
» Analyzing Interacting BPEL Processes
Sort
View
IPPS
2009
IEEE
14 years 3 months ago
Compact graph representations and parallel connectivity algorithms for massive dynamic network analysis
Graph-theoretic abstractions are extensively used to analyze massive data sets. Temporal data streams from socioeconomic interactions, social networking web sites, communication t...
Kamesh Madduri, David A. Bader
AMAST
1995
Springer
14 years 8 days ago
A Calculus of Countable Broadcasting Systems
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
CE
2008
94views more  CE 2008»
13 years 8 months ago
Using mobile communication technology in high school education: Motivation, pressure, and learning performance
Motivation and pressure are considered two factors impacting vocational senior high school student learning. New communication technology, especially mobile communication technolo...
Pei-Luen Patrick Rau, Qin Gao, Li-Mei Wu
CIMCA
2008
IEEE
14 years 3 months ago
Multi-Agent Petri-Games
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...
Rustam Tagiew
AAAI
1998
13 years 10 months ago
The Role of Data Reprocessing in Complex Acoustic Environments
The Integrated Processing and Understanding of Signals (IPUS) architecture is a general blackboard framework for structuring bidirectional interaction between front-end signal pro...
Frank Klassner, Victor R. Lesser, Hamid Nawab