10707 search results - page 215 / 2142 » Designing executable abstractions |
142
Voted
CIBCB
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- The RNA secondary structure design (SSD) problem is a recently emerging research topic motivated by applications such as customized drug design and the self-assembly of ...
115
click to vote
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
—With the arrival of nanometer technologies wire delays are no longer negligible with respect to gate delays, and timing-closure becomes a major challenge to System-on-Chip desig...
165
click to vote
MOBISEC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
143
Voted
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Service-Oriented Architectures (SOAs) are increasingly deployed to achieve distributed systems that are modular, flexible and extensible. Designing for a SOA can be difficult, how...
120
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...