10159 search results - page 1692 / 2032 » System Design Validation Using Formal Models |
172
Voted
PROMISE
2010
15 years 1 months ago
2010
Background. Currently there are several definitions of measures that should represent the size of software functional requirements. These measures have gained a quite relevant rol...
226
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The cellular signaling pathway (network) is one of the main topics of organismic investigations. The intracellular interactions between genes in a signaling pathway ar...
207
click to vote
JOC
2000
15 years 6 months ago
2000
Abstract. Since the appearance of public-key cryptography in the seminal DiffieHellman paper, many new schemes have been proposed and many have been broken. Thus, the simple fact t...
173
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
The Converse run-time framework was designed with dual objectives: that of supporting quick development of portable run-time systems for new parallel programming paradigms, and tha...
174
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
The ability to incorporate low-power, wireless communication into embedded devices gives rise to a new genre of embedded software that is distributed, dynamic, and adaptive. This p...