3190 search results - page 237 / 638 » cans 2011 |
209
click to vote
IANDC
2011
15 years 1 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
227
click to vote
IANDC
2011
15 years 1 months ago
2011
Abstract. Gene trees are leaf-labeled trees inferred from molecular sequences. Due to duplication events arising in genome evolution, gene trees usually have multiple copies of som...
164
click to vote
IJMMS
2011
15 years 1 months ago
2011
The law of path steering, as proposed by Accot and Zhai, describes a quantitative relationship between human temporal performance and the path’s spatial characteristics. The ste...
193
click to vote
JLP
2011
15 years 1 months ago
2011
Service composition in Service Oriented Computing concerns not only integration of heterogeneous distributed applications but also dynamic selection of services. Quality of Servic...
183
click to vote
JSAC
2011
15 years 1 months ago
2011
—Due to the potential of enhancing traffic safety, protecting environment, and enabling new applications, vehicular communications, especially vehicle-to-vehicle (V2V) communica...