Sciweavers

5409 search results - page 54 / 1082
» Basic Observables for Processes
Sort
View
ICC
2008
IEEE
139views Communications» more  ICC 2008»
14 years 2 months ago
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra
—As a resource reservation mechanism, the Resource ReSerVation Protocol (RSVP) faces a lot of challenges when applying it to the wireless and mobile networks. The interworking pr...
Hao Wang, David I. Laurenson, Jane Hillston
GG
2008
Springer
13 years 8 months ago
Open Petri Nets: Non-deterministic Processes and Compositionality
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interf...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Bar...
INFORMATICALT
2008
114views more  INFORMATICALT 2008»
13 years 7 months ago
On the Processing of Decimated Signals
The aim of the given paper is development of a recursive approach for calculating the statistics of decimated realizations of a basic discrete-time signal, obtained by sampling a c...
Rimantas Pupeikis
MM
2006
ACM
197views Multimedia» more  MM 2006»
14 years 1 months ago
Virtual observers in a mobile surveillance system
Conventional wide-area video surveillance systems use a network of fixed cameras positioned close to locations of interest. We describe an alternative and flexible approach to w...
Stewart Greenhill, Svetha Venkatesh
ICML
1999
IEEE
13 years 12 months ago
Learning Hierarchical Performance Knowledge by Observation
Developing automated agents that intelligently perform complex real world tasks is time consuming and expensive. The most expensive part of developing these intelligent task perfo...
Michael van Lent, John E. Laird