6300 search results - page 54 / 1260 » We have it easy, but do we have it right |
77
Voted
FM
2003
Springer
15 years 6 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
122
click to vote
AFP
2004
Springer
15 years 6 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
93
Voted
KDD
2001
ACM
16 years 1 months ago
2001
ACM
This paper is concerned with the construction of regression and classification trees that are more adapted to data mining applications than conventional trees. To this end, we pro...
124
click to vote
INFSOF
2008
15 years 25 days ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
73
Voted
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
1 Coronal loops are especially important in analyzing some important phenomena related to the Sun such as the controversial coronal heating problem. The analysis requires astrophys...