296 search results - page 37 / 60 » A Tool for Choreography Analysis Using Collaboration Diagram... |
JCSS
2011
13 years 2 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
ADBIS
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. In recent years, the World Wide Web (WWW) has transformed to a gigantic social network where people interact and collaborate in diverse online communities. By using Web 2...
FM
2001
Springer
14 years 4 days ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
NN
2008
Springer
13 years 7 months ago
2008
Springer
In the study of information flow in the nervous system, component processes can be investigated using a range of electrophysiological and imaging techniques. Although data is diff...
BMCBI
2008
13 years 7 months ago
2008
Background: Protein structure analysis and comparison are major challenges in structural bioinformatics. Despite the existence of many tools and algorithms, very few of them have ...