Sciweavers

5407 search results - page 73 / 1082
» The Software Engineering Global Model
Sort
View
QSIC
2008
IEEE
15 years 4 months ago
Model-Based Quality Assurance of the SMB2 Protocol Documentation
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
FOSSACS
2001
Springer
15 years 2 months ago
The Complexity of Model Checking Mobile Ambients
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Go...
RE
2001
Springer
15 years 2 months ago
Integrating Organizational Requirements and Object Oriented Modeling
Jaelson Castro, John Mylopoulos, Fernanda M. R. Al...
ISPASS
2010
IEEE
15 years 2 months ago
StatStack: Efficient modeling of LRU caches
The identification of the memory gap in terms of the relatively slow memory accesses put a focus on cache
David Eklov, Erik Hagersten