3733 search results - page 528 / 747 » Logics of communication and change |
180
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
153
click to vote
MDM
2004
Springer
15 years 12 months ago
2004
Springer
Seamless roaming in heterogeneous circuit-switched and IP networks is key for successful migration towards all-IP. The Unified Mobility Manager (UMM) keeps track of users’ locat...
163
click to vote
MDM
2004
Springer
15 years 12 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
181
click to vote
PDP
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Load balancing algorithms are an essential component of parallel computing reducing the response time of applications. Frequently, balancing algorithms have a centralize...
164
click to vote
CEC
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we present two new approaches based on genetic algorithms (GA) to reduce power consumption by communication buses in an embedded system. The first approach makes it ...