1750 search results - page 131 / 350 » Formal multiple-bernoulli models for language modeling |
168
Voted
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
179
click to vote
FMOODS
2006
15 years 7 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
124
click to vote
MODELS
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...
131
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
141
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...