1750 search results - page 72 / 350 » Formal multiple-bernoulli models for language modeling |
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
MEMOCODE
2005
IEEE
15 years 3 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
104
click to vote
FMCO
2007
Springer
15 years 1 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...