1336 search results - page 241 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
133
click to vote
JUCS
2007
15 years 3 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
100
Voted
ICEIS
2002
IEEE
15 years 8 months ago
2002
IEEE
: We aim at elaborating a decision support system to manage concrete experience, using Artificial Intelligence methods, such as Case-Based Reasoning. We target any organization tha...
120
click to vote
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
Many architecture description languages (ADLs) have been proposed to model, analyze, configure, and deploy complex software systems. To face this diversity, extensible ADLs (or AD...
118
Voted
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
141
Voted
JSW
2008
15 years 3 months ago
2008
With the menace of hackers increasing every day, even well administrated networks are vulnerable to attack. Therefore, securing network assets has become a significant issue for th...