3637 search results - page 700 / 728 » Application of Network Calculus to Guaranteed Service Networ... |
130
click to vote
JFP
2010
15 years 7 days ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
119
Voted
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
We consider the following fundamental scheduling problem. The input consists of n jobs to be scheduled on a set of machines of bounded capacities. Each job is associated with a re...
122
click to vote
IOT
2010
14 years 11 months ago
2010
The increasing penetration of the real world with embedded and globally networked sensors leads to the formation of the Internet of Things, offering global online access to the cur...
120
click to vote
ICUMT
2009
14 years 11 months ago
2009
Pan-European laboratory (Panlab) is based on a federation of distributed interconnected testbeds, providing access to platforms, networks and services for testing. Core components ...
190
click to vote
DKE
2011
14 years 5 months ago
2011
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...