Sciweavers

3564 search results - page 336 / 713
» Evaluating a Formal Modelling Language
Sort
View
INFORMS
1998
142views more  INFORMS 1998»
15 years 4 months ago
Distributed State Space Generation of Discrete-State Stochastic Models
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
Gianfranco Ciardo, Joshua Gluckman, David M. Nicol
BIRTHDAY
2003
Springer
15 years 9 months ago
Towards a Brain Compatible Theory of Syntax Based on Local Testability
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
Stefano Crespi-Reghizzi, Valentino Braitenberg
126
Voted
CORR
1999
Springer
82views Education» more  CORR 1999»
15 years 4 months ago
Inside-Outside Estimation of a Lexicalized PCFG for German
The paper describes an extensive experiment in inside-outside estimation of a lexicalized probabilistic context free grammar for German verbnal clauses. Grammar and formalism feat...
Franz Beil, Glenn Carroll, Detlef Prescher, Stefan...
QOSA
2010
Springer
15 years 8 months ago
Parameterized Reliability Prediction for Component-Based Software Architectures
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ral...
ECOOP
2010
Springer
15 years 9 months ago
Essential AOP: The A Calculus
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
Bruno De Fraine, Erik Ernst, Mario Südholt