306 search results - page 45 / 62 » How do I model state |
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
—Managing security risks in the Internet has so far mostly involved methods to reduce the risks and the severity of the damages. Those methods (such as firewalls, intrusion dete...
ASM
2003
ASM
14 years 19 days ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
ACSAC
2002
IEEE
14 years 11 days ago
2002
IEEE
In this paper we describe a mainframe access control system (DENT) and its associated delegated administration tool (DSAS) that were used in a financial institution for over 20 y...
IS
2008
13 years 7 months ago
2008
In recent years, while search engines have become more and more powerful, several specialized search engines have been developed for different domains (e.g. library services, serv...
WMPI
2004
ACM
14 years 25 days ago
2004
ACM
High-performance out-of-order processors spend a significant portion of their execution time on the incorrect program path even though they employ aggressive branch prediction al...