2004 search results - page 189 / 401 » Comparison of Model Checking Tools for Information Systems |
171
click to vote
FC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
164
click to vote
CONTEXT
2007
Springer
16 years 11 days ago
2007
Springer
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...
144
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
246
click to vote
DDEP
2000
Springer
15 years 10 months ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
162
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...