2004 search results - page 224 / 401 » Comparison of Model Checking Tools for Information Systems |
178
click to vote
IS
2010
15 years 4 months ago
2010
Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated busin...
193
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
ld is a prototype IR user interface. It implements visualizations of an abstract information space – fulltext. The presentation demonstrates a visual user interface for the prob...
196
click to vote
EHCI
1998
15 years 7 months ago
1998
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
175
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
We describe a new encryption technique that is secure in the standard model against adaptive chosen ciphertext (CCA2) attacks. We base our method on two very efficient Identity-Ba...
170
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...