1023 search results - page 119 / 205 » Model Checking: Software and Beyond |
111
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
142
Voted
UML
1997
Springer
15 years 7 months ago
1997
Springer
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...
123
click to vote
CCR
2004
15 years 4 months ago
2004
The last decade has been a very fruitful period in important discoveries in network traffic modeling, uncovering various scaling behaviors. Self-similarity, long-range dependence,...
144
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
Ten years ago, I introduced the notion of user interface plasticity to denote the capacity of user interfaces to adapt, or to be adapted, to the context of use while preserving us...
149
Voted
INFOSCALE
2007
ACM
15 years 5 months ago
2007
ACM
— The concept of Cumulated Anomaly (CA), which describes a new type of database anomalies, is addressed. A typical CA intrusion is that when a user who is authorized to modify da...