2227 search results - page 147 / 446 » Reversibility and Models for Concurrency |
167
Voted
TOSEM
2002
15 years 5 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
160
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
We consider analysis of complex stochastic models based upon partial information. MCMC and reversible jump MCMC are often the methods of choice for such problems, but in some situ...
177
Voted
DAWAK
2009
Springer
15 years 3 months ago
2009
Springer
Data Warehouses (DW) manage crucial enterprise information used for the decision making process which has to be protected from unauthorized accesses. However, security constraints ...
172
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
194
Voted
GLOBECOM
2007
IEEE
16 years 14 days ago
2007
IEEE
—In this paper, we propose a novel protocol called VC-MAC that utilizes the concept of cooperative communication tailored for vehicular networks, especially for gateway downloadi...