5122 search results - page 803 / 1025 » Comparing Consequence Relations |
159
click to vote
PUC
2010
15 years 5 months ago
2010
Predicting a driver’s route would be useful for warning a driver of upcoming road hazards, informing about traffic situations, and serving relevant advertising. There are many cl...
173
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
Recent research in compositional real-time systems has focused on determination of a component’s real-time interface parameters. An important objective in interface-parameter de...
113
click to vote
SCIENTOMETRICS
2010
15 years 5 months ago
2010
The involvement of male and female scientists in the technological activity developed in Spain is analysed through the study of patent applications filed with the Spanish OEPM dat...
131
click to vote
SIAMSC
2010
15 years 5 months ago
2010
This work presents a mesh refinement indicator based on entropy variables, with an application to the compressible Navier-Stokes equations. The entropy variables are shown to sati...
182
click to vote
STTT
2010
15 years 5 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...