9989 search results - page 347 / 1998 » A CLP Approach to Modelling Systems |
195
click to vote
ISMB
1994
15 years 8 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...
167
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...
193
click to vote
ITIIS
2008
15 years 6 months ago
2008
WiMAX has been introduced as a competitive alternative for metropolitan broadband wireless access technologies. It is connection oriented and it can provide very high data rates, ...
157
click to vote
ICEIS
2003
IEEE
16 years 15 hour ago
2003
IEEE
: We propose in this article an object-oriented approach to rewriting queries using views. Our approach aims to mitigate certain limitations of existing query rewriting approaches....
195
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...