2338 search results - page 316 / 468 » Using UML to model relational database operations |
138
click to vote
WSC
2001
15 years 6 months ago
2001
This paper describes the architecture and potentials of Simone. Simone is a simulation environment to generate, simulate and analyze complex and large scale train networks. The pu...
148
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
160
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
132
click to vote
DS
1997
15 years 6 months ago
1997
The ODMG proposal has helped to focus the work on object-oriented databases (OODBs) onto a common object model and query language. Nevertheless there are several shortcomings of t...
146
Voted
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
In recent years, the recognition of Farsi and Arabic handwriting is drawing increasing attention. This paper describes the result of the ICDAR 2009 competition for handwritten Far...