3435 search results - page 287 / 687 » Aspect Model Unweaving |
144
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
186
click to vote
SIGMOD
2002
ACM
16 years 6 months ago
2002
ACM
Ontologies in current computer science parlance are computer based resources that represent agreed domain semantics. Unlike data models, the fundamental asset of ontologies is the...
160
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents both compact analytical models and fast SPICE based 3-D electro-thermal simulation methodology to characterize thermal effects due to Joule heating in high per...
183
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...
169
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Tendon-based transmission systems present many positive aspects and greatly simplify the mechanical design of small robotic devices, such as robotic fingers. On the other hand...