3294 search results - page 595 / 659 » Taxonomy of Process Modeling Languages |
121
click to vote
IFIP
2005
Springer
15 years 8 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
118
Voted
CP
2004
Springer
15 years 8 months ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
124
click to vote
MLMI
2004
Springer
15 years 8 months ago
2004
Springer
We describe the ICSI-SRI-UW team’s entry in the Spring 2004 NIST Meeting Recognition Evaluation. The system was derived from SRI’s 5xRT Conversational Telephone Speech (CTS) r...
160
Voted
PG
2003
IEEE
15 years 8 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
124
Voted
PADS
2003
ACM
15 years 7 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...