4890 search results - page 624 / 978 » From system specifications to component behavioral models |
224
click to vote
AUSAI
2003
Springer
16 years 28 days ago
2003
Springer
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...
196
click to vote
BIOSYSTEMS
2008
15 years 7 months ago
2008
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
210
click to vote
WOSP
2004
ACM
16 years 1 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
217
click to vote
LCTRTS
2001
Springer
16 years 4 days ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...
205
click to vote
STEP
2005
IEEE
16 years 1 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...