5401 search results - page 438 / 1081 » Using Versions in GIS |
188
click to vote
IFM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
177
click to vote
DATE
2003
IEEE
16 years 4 days ago
2003
IEEE
The performance of a system, especially a multiprocessor system, heavily depends upon the efficiency of its bus architecture. This paper presents a methodology to generate a custo...
192
click to vote
DIALM
2003
ACM
16 years 3 days ago
2003
ACM
We consider the problem of maximizing the lifetime of a given multicast connection in a wireless network of energyconstrained (e.g. battery-operated) nodes, by choosing ideal tran...
207
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Mobile agents are autonomous programs that migrate from one machine to another within a network on behalf of a client, thus, they are ideal for mobile computing environments since ...
148
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
In computer systems today, speed and responsiveness is often determined by network and storage subsystem performance. Faster, more scalable networking interfaces like Fibre Channe...