4061 search results - page 389 / 813 » Routing Using Geospatial Information System Analysis |
210
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
Business Process Management (BPM) aims at supporting the whole life-cycle necessary to deploy and maintain business processes in organisations. An important step of the BPM life-cy...
175
click to vote
FMSD
2006
15 years 6 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
200
click to vote
ISEM
2008
15 years 6 months ago
2008
Advanced mobile technology continues to shape professional environments. Smart cell phones, pocket computers and laptop computers reduce the need of users to remain close to a wir...
155
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Structured Peer to Peer (P2P) overlay networks are becoming increasingly popular. Multi-hop systems achieve a successful lookup in O(log N) hops, whereas one-hop systems approa...
321
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...