1750 search results - page 80 / 350 » Formal multiple-bernoulli models for language modeling |
122
click to vote
COMPSEC
2010
15 years 1 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
147
click to vote
ISPDC
2003
IEEE
15 years 10 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
152
click to vote
ENTCS
2008
15 years 4 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
167
click to vote
ICMLA
2009
15 years 2 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...
149
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...