1501 search results - page 157 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
168
Voted
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
130
click to vote
OOPSLA
1992
Springer
15 years 8 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
113
click to vote
JGAA
2007
15 years 4 months ago
2007
The cluster structure of many real-world graphs is of great interest, as the clusters may correspond e.g. to communities in social networks or to cohesive modules in software syst...
115
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
129
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—We introduce a 3-dimensional Markov chain that integrates the IEEE 802.11 DCF contention resolution and queueing processes into one model. Important QoS measures, delay and loss...