10038 search results - page 1700 / 2008 » Model Checking for Managers |
192
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
The migration method of a mobile agent affects the entire performance of the distributed system. Most of the existing migration methods have the slow-witted structures due to the ...
207
click to vote
IJBIS
2010
15 years 3 months ago
2010
: The increasing intensity of global competition and the rapid advances in information technology (IT) have led organisations to search for more efficient and effective ways to man...
165
click to vote
IOR
2010
15 years 3 months ago
2010
Reliable risk measurement is a key problem for financial institutions and regulatory authorities. The current industry standard Value-at-Risk has several deficiencies. Improved ri...
200
click to vote
ISCI
2010
15 years 3 months ago
2010
Key agreement (KA) allows two or more users to negotiate a secret session key among them over an open network. Authenticated key agreement (AKA) is a KA protocol enhanced to preve...
270
click to vote
COMPUTING
2011
15 years 1 months ago
2011
Abstract Cloud computing could offer good business models for small CSE (Computational Science and Engineering) research groups because these groups often do not have enough human ...