2748 search results - page 118 / 550 » Generating Object-Z Specifications from Use Cases |
125
click to vote
ENTCS
2006
15 years 14 days ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
105
click to vote
BMCBI
2008
15 years 17 days ago
2008
Background: Last years' mapping of diverse genomes has generated huge amounts of biological data which are currently dispersed through many databases. Integration of the info...
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
131
click to vote
CHES
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper proposes new chosen-message power-analysis attacks against public-key cryptosystems based on modular exponentiation, which use specific input pairs to generate...
119
click to vote
BMCBI
2008
15 years 17 days ago
2008
Background: The increasing amount of published literature in biomedicine represents an immense source of knowledge, which can only efficiently be accessed by a new generation of a...