3255 search results - page 63 / 651 » Combination of Abstractions in the ASTR |
B
2007
Springer
14 years 25 days 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...
ECTEL
2009
Springer
14 years 21 days 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...
EDOC
2006
IEEE
14 years 15 days 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 ...
CIA
2008
Springer
13 years 10 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
13 years 10 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...