Sciweavers

4350 search results - page 381 / 870
» Case studies for contract-based systems
Sort
View
PPPJ
2006
ACM
16 years 24 days ago
Dynamic analysis of program concepts in Java
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
Jeremy Singer, Chris C. Kirkham
CAISE
2003
Springer
16 years 2 days ago
Conceptual Modelling in Practice - Myth or Reality?
Conceptual modelling is thought (by academics at least) to be a key activity of Business Systems Analysis. For decades, comprehensive research has been conducted on related topics ...
Islay Davies, Peter Green, Michael Rosemann
COMCOM
2010
150views more  COMCOM 2010»
15 years 7 months ago
Convergence of trajectories and optimal buffer sizing for MIMD congestion control
We study the interaction between the MIMD (Multiplicative Increase Multiplicative Decrease) congestion control and a bottleneck router with Drop Tail buffer. We consider the probl...
Yi Zhang, Alexei B. Piunovskiy, Urtzi Ayesta, Kons...
IJNSEC
2010
145views more  IJNSEC 2010»
15 years 1 months ago
Formal Specification of Common Criteria Based Access Control Policy Model
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
Manpreet Singh, Manjeet S. Patterh
CASES
2004
ACM
16 years 8 days ago
A post-compiler approach to scratchpad mapping of code
ScratchPad Memories (SPMs) are commonly used in embedded systems because they are more energy-efficient than caches and enable tighter application control on the memory hierarchy...
Federico Angiolini, Francesco Menichelli, Alberto ...