4353 search results - page 112 / 871 » Expressiveness of Process Algebras |
133
click to vote
FINTAL
2006
15 years 7 months ago
2006
Multiword expressions (MWEs) vary in syntactic category, structure, the degree of semantic opaqueness, the ability of one or more constituents to undergo inflection and processes s...
154
click to vote
IWFM
2000
15 years 5 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
141
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...
121
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
Discrete tomography (DT) is concerned with the tomographic reconstruction of images that consist of only a small number of gray levels. DT reconstruction problems are usually unde...
133
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...