392 search results - page 69 / 79 » Secure Software Engineering: A New Paradigm |
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
CLEIEJ
2010
13 years 7 months ago
2010
This article presents the design, implementation and use of a remote network lab with multiple users support as an aid to teaching computer networks. The purpose is to enable mult...
FM
2006
Springer
14 years 1 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Over the past decade the sheer size and complexity of traditional operating systems have prompted a wave of new approaches to help alleviate the services provided by these operati...
COMCOM
2006
13 years 10 months ago
2006
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...