1054 search results - page 6 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
IPMI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An important assessment in patients with ischemic heart disease is whether myocardial contractility may improve after treatment. The prediction of myocardial contractilit...
BXML
2003
13 years 9 months ago
2003
: Developing personalized applications for the ubiquitous Web assumes to create content that can be automatically adapted to both different presentation platforms and user preferen...
CC
2006
Springer
14 years 4 days ago
2006
Springer
Abstract. Writing an optimizing back end is expensive, in part because it requires mastery of both a target machine and a compiler's internals. We separate these concerns by i...
JASIS
2007
13 years 8 months ago
2007
sets of research abstracts that may be retrieved by a digital library or search engine in response to a user query. y dissertation abstracts were selected as the sample domain in t...
JSS
2006
13 years 8 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...