22560 search results - page 4154 / 4512 » Development of Transportation Systems |
176
click to vote
TSE
2010
15 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
184
click to vote
TVCG
2010
15 years 5 months ago
2010
As data sources become larger and more complex, the ability to effectively explore and analyze patterns amongst varying sources becomes a critical bottleneck in analytic reasoning...
173
Voted
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
— Previous works studied the effect of many system parameters on spectrum sharing opportunities where secondary users access the spectrum of primary users. However, a parameter t...
185
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—The evolution of a software project is a rich data source for analyzing and improving the software development process. Recently, several research groups have tried to cluster s...
193
click to vote
WIAS
2010
15 years 5 months ago
2010
The rapid development of computer network technologies and social informationalization has brought many new opportunities and challenges in information security. With improved info...