2493 search results - page 298 / 499 » Tool Support for Design by Contract |
DSD
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Aut...
ISF
2007
14 years 10 months ago
2007
—Successful secure knowledge management requires consideration of both technical and organizational concerns. We use the example of existing industrial incident management system...
136
click to vote
FASE
2008
Springer
15 years 12 days ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
BMCBI
2010
14 years 10 months ago
2010
Background: New "next generation" DNA sequencing technologies offer individual researchers the ability to rapidly generate large amounts of genome sequence data at drama...
IROS
2008
IEEE
15 years 5 months ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...