3116 search results - page 182 / 624 » Positively dependent types |
163
click to vote
IWPSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Software systems need to change over time to cope with new requirements, and due to design decisions, the changes happen to crosscut the system’s structure. Understanding how ch...
162
click to vote
IEEEPACT
1999
IEEE
15 years 9 months ago
1999
IEEE
Automatic parallelization of general-purpose programs is still not possible in general in the presence of irregular data structures and complex control-flows. One promising strate...
100
click to vote
CSDA
2006
15 years 4 months ago
2006
It is difficult to find an existing single model which is able to simultaneously model exceedances over thresholds in multivariate financial time series. A new modeling approach, ...
133
click to vote
IJFCS
2006
15 years 4 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
136
click to vote
PERVASIVE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...