1980 search results - page 244 / 396 » Compositional Model Checking of Real Time Systems |
108
click to vote
KDD
2009
ACM
15 years 8 months ago
2009
ACM
Learning temporal graph structures from time series data reveals important dependency relationships between current observations and histories. Most previous work focuses on learn...
161
Voted
DKE
2008
15 years 3 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
135
click to vote
QOSA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
129
Voted
AHS
2006
IEEE
15 years 9 months ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...
158
Voted
ICEGOV
2009
ACM
15 years 1 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...