3765 search results - page 587 / 753 » Formal Methods for Systems Engineering Behavior Models |
205
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
158
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
Short search engine queries do not provide contextual information, making it difficult for traditional search engines to understand what users are really requesting. One approach ...
192
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
162
click to vote
IROS
2006
IEEE
16 years 16 days ago
2006
IEEE
— This paper reports on an outdoor mobile robot that learns to avoid collisions by observing a human driver operate a vehicle equipped with sensors that continuously produce a ma...
165
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
Modeling on-chip inductive effects for interconnects of multigigahertz microprocessors remains challenging. SPICE simulation of these effects is very slow because of the large num...