1497 search results - page 131 / 300 » Extended static checking |
115
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
112
click to vote
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
124
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
114
click to vote
ACMSE
2004
ACM
15 years 7 months ago
2004
ACM
Traditional intrusion detection systems have a central coordinator with a static hierarchical architecture. We propose a peer-to-peer intrusion detection system that has no centra...
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we present our first experiences using Simics, a simulator which allows full-system simulation of multiprocessor architectures. We carry out a detailed performance ...