8008 search results - page 1417 / 1602 » Computer-Aided Language Processing |
162
click to vote
ACSAC
2007
IEEE
16 years 24 days ago
2007
IEEE
Detecting the presence of buffer overflow attacks in network messages has been a major focus. Only knowing whether a message contains an attack, however, is not always enough to m...
148
click to vote
APSEC
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
157
click to vote
CODES
2007
IEEE
16 years 24 days ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...
164
click to vote
FCCM
2007
IEEE
16 years 23 days ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
203
click to vote
FDL
2007
IEEE
16 years 23 days ago
2007
IEEE
Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...