Sciweavers

11151 search results - page 122 / 2231
» On the Complexity of Model Expansion
Sort
View
IPL
2008
61views more  IPL 2008»
15 years 4 months ago
On the complexity of partial order trace model checking
Thierry Massart, Cédric Meuter, Laurent Van...
83
Voted
INFORMS
2006
49views more  INFORMS 2006»
15 years 4 months ago
An Automated Multiresolution Procedure for Modeling Complex Arrival Processes
Michael E. Kuhl, Sachin G. Sumant, James R. Wilson
RE
2006
Springer
15 years 4 months ago
A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP
Cross-organizational information systems projects, such as ERP, imply an expensive requirements engineering (RE) cycle. Little is known yet about how to carry it out with more pre...
Maya Daneva, Roel Wieringa
SLOGICA
2008
76views more  SLOGICA 2008»
15 years 4 months ago
Infinitary Action Logic: Complexity, Models and Grammars
Wojciech Buszkowski, Ewa Palka