2004 search results - page 73 / 401 » Comparison of Model Checking Tools for Information Systems |
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
ISMIR
2000
Springer
15 years 3 months ago
2000
Springer
To make multimedia data easily retrieved, we use metadata to describe the information, so that search engines or other information filter tools can effectively and efficiently loc...
COLCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—Collaborative systems available on the Web allow millions of users to share information through a growing collection of tools and platforms such as wikis, blogs and shared forum...
ATAL
2011
Springer
13 years 12 months ago
2011
Springer
In creating an evacuation simulation for training and planning, realistic agents that reproduce known phenomenon are required. Evacuation simulation in the airport domain requires...
CTW
2002
14 years 11 months ago
2002
: Information Systems (IS) and technology are used extensively throughout the NHS, and the 1998 national information strategy, "Information for Health", sets out how the ...