432 search results - page 54 / 87 » Dynamic Logic With Possible World |
133
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
124
Voted
APN
2009
Springer
15 years 10 months ago
2009
Springer
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...
132
click to vote
FDL
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
139
Voted
BIOWIRE
2007
Springer
15 years 10 months ago
2007
Springer
Emerging pervasive computing technologies such as sensor networks and RFID tags can be embedded in our everyday environment to digitally store and elaborate a variety of informatio...
125
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...