395 search results - page 12 / 79 » Priority Scheduling of Distributed Systems Based on Model Ch... |
ICPADS
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper proposes a new priority scheduling algorithm to maximise site revenue of session-based multi-tier Internet services in a multicluster environment. This research is part...
ENTCS
2008
14 years 9 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
79
Voted
ETFA
2006
IEEE
15 years 1 months ago
2006
IEEE
This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...
JBCS
2002
14 years 9 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
91
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...