10038 search results - page 518 / 2008 » Model Checking for Managers |
196
click to vote
AIMSA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Spoken audio is an important source of information available to knowledge extraction and management systems. Organization of spoken messages by priority and content can f...
192
click to vote
ANSS
2004
IEEE
15 years 11 months ago
2004
IEEE
Imagine if you would like to deploy your new simulation online and your systems can just take care of itself. Needed web interface could be generated, database schema objects coul...
228
click to vote
HPCNCS
2007
15 years 8 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
157
click to vote
CGA
2006
15 years 7 months ago
2006
takes place in an abstract model, connected to therealgamebypassingmessagesbackandforth,asFigure2illustrates.ThegametellstheDMwhenplotpoints occur, and the DM tells the game when i...
169
click to vote
JSAC
2008
15 years 7 months ago
2008
We compare two possible mechanisms to manage a peer-to-peer storage system, where participants can store data online on the disks of peers in order to increase data availability an...