2025 search results - page 93 / 405 » Software performance modelling using PEPA nets |
103
click to vote
POPL
2009
ACM
15 years 7 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
98
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
The brain has long been seen as a powerful analogy from which novel computational techniques could be devised. However, most artificial neural network approaches have ignored the...
108
Voted
ACSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...
104
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
111
Voted
CCGRID
2001
IEEE
15 years 4 months ago
2001
IEEE
Resource management is an important infrastructure in the grid computing environment. Scalability and adaptability are two key challenges in the implementation of such complex sof...