1497 search results - page 131 / 300 » Extended static checking |
166
click to vote
TLCA
2007
Springer
16 years 14 days 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...
155
click to vote
SEFM
2005
IEEE
15 years 12 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...
169
click to vote
UML
2005
Springer
15 years 12 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...
164
click to vote
ACMSE
2004
ACM
15 years 11 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...
116
click to vote
ICCS
2004
Springer
15 years 11 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 ...