2004 search results - page 146 / 401 » Comparison of Model Checking Tools for Information Systems |
177
click to vote
ADVIS
2006
Springer
15 years 11 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
155
click to vote
ICITA
2005
IEEE
15 years 10 months ago
2005
IEEE
Intrusion Detection Systems (IDS) have become widely used tools for ensuring system and network security. Among many other challenges, contemporary IDS have to cope with increasin...
123
click to vote
LWA
2008
15 years 6 months ago
2008
Many sites are created by people who lack professional training in web design. We present `SiteGuide', a tool that helps amateur web designers to decide which information wil...
126
click to vote
ICEIS
2008
IEEE
15 years 11 months ago
2008
IEEE
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
126
click to vote
HAPTICS
2006
IEEE
15 years 11 months ago
2006
IEEE
The development and evaluation of haptic rendering algorithms presents two unique challenges. Firstly, the haptic information channel is fundamentally bidirectional, so the output...