1750 search results - page 227 / 350 » Formal multiple-bernoulli models for language modeling |
121
click to vote
FMOODS
2000
15 years 3 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
116
Voted
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
127
Voted
DIAGRAMS
2004
Springer
15 years 5 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
117
click to vote
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
106
click to vote
FDL
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...