Sciweavers

8109 search results - page 74 / 1622
» A Model of Component-Based Programming
Sort
View
93
Voted
CP
2005
Springer
15 years 10 months ago
Statistical Modelling of CSP Solving Algorithms Performance
Ramón Béjar, Cèsar Fern&aacut...
115
Voted
IFIP
2004
Springer
15 years 10 months ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
IFIP
2004
Springer
15 years 10 months ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan
ICLP
2003
Springer
15 years 9 months ago
The Language Model LMNtal
Kazunori Ueda, Norio Kato