Sciweavers

11066 search results - page 464 / 2214
» Linearity in Process Languages
Sort
View
SAINT
2007
IEEE
16 years 2 months ago
A Component Framework for Document-Centric Network Processing
A component framework for defining content-based network processing is presented. It is unique among other existing approaches because it enables contents to naturally define th...
Ichiro Satoh
ICALP
1999
Springer
15 years 12 months ago
Simulation Preorder on Simple Process Algebras
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...
Antonín Kucera, Richard Mayr
BPM
2006
Springer
107views Business» more  BPM 2006»
15 years 11 months ago
On the Suitability of BPMN for Business Process Modelling
Abstract. In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation fr...
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas...
DAC
2003
ACM
16 years 8 months ago
Extending the lifetime of a network of battery-powered mobile devices by remote processing: a markovian decision-based approach
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
Peng Rong, Massoud Pedram
ARVLSI
1999
IEEE
101views VLSI» more  ARVLSI 1999»
16 years 1 days ago
Multi-Chip Neuromorphic Motion Processing
We describe a multi-chip CMOS VLSI visual motion processing system which combines analog circuitry with an asynchronous digital interchip communications protocol to allow more com...
Charles M. Higgins, Christof Koch