53390 search results - page 427 / 10678 » Computer Systems Analysis |
148
click to vote
ISCIS
2004
Springer
16 years 5 days ago
2004
Springer
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
239
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The analysis of expressed sequence tags (EST) offers a rapid and cost effective approach to elucidate the transcriptome of an organism, but requires several computatio...
198
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of ada...
215
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...