2245 search results - page 406 / 449 » A Case Study Implementing Features Using AspectJ |
153
click to vote
JAR
2000
15 years 2 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
160
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
116
Voted
PARELEC
2006
IEEE
15 years 8 months ago
2006
IEEE
Usually, theories of surface growth are based on the study of global processes without taking in account the local behaviour of atoms. We have implemented two Montecarlo simulation...
128
click to vote
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
We investigate an optimal scheduling problem in a discrete-time system of L parallel queues that are served by K identical servers. This model has been widely used in studies of em...
139
Voted
COMPGEOM
2006
ACM
15 years 6 months ago
2006
ACM
Despite extensive study over the last four decades and numerous applications, no I/O-efficient algorithm is known for the union-find problem. In this paper we present an I/O-effic...