2296 search results - page 376 / 460 » The Expressive Power of Synchronizations |
148
click to vote
AIME
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
117
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
133
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper exploits the unique in-field controllability of the device polarity of ambipolar carbon nanotube field effect transistors (CNTFETs) to design a technology library with ...
139
click to vote
ECMDAFA
2009
Springer
15 years 8 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
118
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
A common way to elude a signature-based NIDS is to transform an attack instance that the NIDS recognizes into another instance that it misses. For example, to avoid matching the a...