4890 search results - page 171 / 978 » From system specifications to component behavioral models |
146
click to vote
ENTCS
2007
15 years 6 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
175
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we describe anomaly-based intrusion detection as a specialized case of the more general behavior detection problem. We draw concepts from the field of etho...
190
click to vote
IJIT
2004
15 years 8 months ago
2004
The paper focuses on the area of context modeling with respect to the specification of context-aware systems supporting ubiquitous applications. The proposed approach, followed wit...
203
click to vote
ECOOPW
2008
Springer
15 years 8 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
184
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...