Sciweavers

1390 search results - page 207 / 278
» Software Systems Integration and Architectural Analysis - A ...
Sort
View
B
2007
Springer
16 years 8 days ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
KDD
2006
ACM
272views Data Mining» more  KDD 2006»
16 years 6 months ago
YALE: rapid prototyping for complex data mining tasks
KDD is a complex and demanding task. While a large number of methods has been established for numerous problems, many challenges remain to be solved. New tasks emerge requiring th...
Ingo Mierswa, Michael Wurst, Ralf Klinkenberg, Mar...
IFIP
2010
Springer
15 years 28 days ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
IEEESCC
2007
IEEE
16 years 12 days ago
Design Principles for B2B Services - An Evaluation of Two Alternative Service Designs
A service-oriented architecture (SOA) promises a more flexible intra- and interorganizational integration of heterogeneous application systems. The central design element of a SOA...
Christine Legner, Tobias Vogel
SAC
2004
ACM
15 years 11 months ago
Combining analysis and synthesis in a model of a biological cell
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
Ken Webb, Tony White