2055 search results - page 59 / 411 » Generic Model Refactorings |
GIS
2002
ACM
14 years 9 months ago
2002
ACM
Geographical information systems are more and more based on a DBMS with spatial extensions, which is also the case for the system described in this paper. The design and implementa...
ACL
2008
14 years 11 months ago
2008
The paper presents a novel sentence trimmer in Japanese, which combines a non-statistical yet generic tree generation model and Conditional Random Fields (CRFs), to address improv...
104
click to vote
ICFEM
2003
Springer
15 years 3 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
149
click to vote
POPL
2003
ACM
15 years 10 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
ACNS
2008
Springer
15 years 4 months ago
2008
Springer
We describe two new paradigms on how to obtain ordinary signatures that are secure against existential forgery under adaptively chosen message attacks (fully-secure, in short), fro...