3255 search results - page 63 / 651 » Combination of Abstractions in the ASTR |
149
click to vote
B
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
100
click to vote
ECTEL
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper presents a system that connects students with complementary profiles, so they can interchange knowledge and help each other. The profile of the students is bui...
109
click to vote
EDOC
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
117
click to vote
CIA
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. We present a method that improves the results of network intrusion detection by integration of several anomaly detection algorithms through trust and reputation models. O...
DALT
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Although various ideas for integrating Semantic Web and Agent Programming techniques have appeared in the literature, as yet no practical programming approach has managed...