4340 search results - page 740 / 868 » Formal Methods and Cryptography |
162
click to vote
AFP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
160
Voted
AUSAI
2004
Springer
15 years 10 months ago
2004
Springer
Nowadays, automated Web document classification is considered as an important method to manage and process an enormous amount of Web documents in digital forms that are extensive a...
134
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
136
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
179
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...