10038 search results - page 499 / 2008 » Model Checking for Managers |
223
click to vote
JCM
2008
15 years 7 months ago
2008
The open, sharing and anonymous nature of peer-to-peer (P2P) network has offered opportunities and threats for the development of distributed computing technology. One feasible way...
200
click to vote
ISF
2006
15 years 7 months ago
2006
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...
201
click to vote
TON
2008
15 years 7 months ago
2008
Efficient mobility management is one of the major challenges for next-generation mobile systems. Indeed, a mobile node (MN) within an access network may cause excessive signaling t...
149
click to vote
TRIDENTCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— Network modelling and traffic characterisation are essential research activities towards the optimisation of UMTS. We present here our IPv6 Linux-based UTRAN testbed which aim...
182
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
Business workflow management and business process modeling are mature research areas, whose roots go far back to the early days of office automation systems. Scientific workflow ma...