13109 search results - page 373 / 2622 » The design and implementation of AspectC |
209
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
150
click to vote
SAMOS
2007
Springer
16 years 28 days ago
2007
Springer
Client-side diversification led the video-coding community to develop scalable video-codecs supporting efficient decoding at varying quality levels. This scalability has a lot of...
186
Voted
IROS
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— Piezoelectric actuators are advantageous for microrobots due to their light weight, high bandwidth, high force production, low power consumption, and simplicity of inte...
180
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper describes the design of a smart sensor for label-free detection of DNA hybridization. The sensor is based on a direct electrical transduction principle: it measures imp...
183
click to vote
ICECCS
2005
IEEE
16 years 12 days ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...