5550 search results - page 346 / 1110 » Different Approaches to Proof Systems |
174
click to vote
TSD
2001
Springer
15 years 11 months ago
2001
Springer
The Internet offers remote access to many information systems to users independent of time and location. This paper describes an agent based approach to deal with issues that rise ...
172
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
Applying meta search systems is a suitable method to support the user if there are many different retrieval services available in the Web. Due to information splitting strategies ...
202
click to vote
ATAL
2004
Springer
16 years 6 days ago
2004
Springer
In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ ability to conf...
220
click to vote
ATAL
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ abilit...
171
click to vote
ECBS
2005
IEEE
16 years 12 days ago
2005
IEEE
Large and complex computer based systems are the result of an evolution process which may take many years. Heterogeneity is an important characteristic of such systems: During the...