4166 search results - page 550 / 834 » Automating the constraining process |
128
click to vote
DISCEX
2003
IEEE
15 years 9 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
129
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
An increasing number of university lectures and a vast majority of company presentations are being digitally archived for redistribution today. Most of these presentations take th...
158
click to vote
IWSOC
2003
IEEE
15 years 9 months ago
2003
IEEE
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
135
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
CHI
2003
ACM
15 years 9 months ago
2003
ACM
When designing automated systems that make decisions about when to allow or deny interruptions, the methods of professional interruption mediators are an important source of infor...