10458 search results - page 476 / 2092 » Modeling Features at Runtime |
183
click to vote
DSN
2006
IEEE
16 years 28 days ago
2006
IEEE
One way to prevent control hijacking attack is to compare a network application’s run-time system calls with a pre-defined normal system call behavior model, and raise an alert...
205
click to vote
ISCA
2006
IEEE
16 years 27 days ago
2006
IEEE
A Co-Designed Virtual Machine allows designers to implement a processor via a combination of hardware and software. Dynamic binary translation converts code written for a conventi...
204
click to vote
WORDS
2005
IEEE
16 years 14 days ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
176
click to vote
CHARME
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
187
click to vote
TES
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. With the emergence of Web service technologies, it has become possible to use high level megaprogramming models and visual tools to easily build distributed systems using...