891 search results - page 178 / 179 » Automatic Generation of a Real-Time Operating System for Emb... |
SOUPS
2005
ACM
14 years 16 days ago
2005
ACM
Phishing is a model problem for illustrating usability concerns of privacy and security because both system designers and attackers battle using user interfaces to guide (or misgu...
CAISE
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
CSREAESA
2003
13 years 8 months ago
2003
Most so-called “adiabatic” digital logic circuit families reported in the low-power design literature are actually not truly adiabatic, in that they do not satisfy the general...
BMCBI
2006
13 years 7 months ago
2006
Background: Two-dimensional data colourings are an effective medium by which to represent three-dimensional data in two dimensions. Such "color-grid" representations hav...
BMCBI
2006
13 years 7 months ago
2006
Background: Vast progress in sequencing projects has called for annotation on a large scale. A Number of methods have been developed to address this challenging task. These method...