1833 search results - page 240 / 367 » Mechanized Verification with Sharing |
188
click to vote
TPDS
2010
15 years 4 months ago
2010
—This paper presents the development and implementation of a multiprocessor system-on-chip solution for fast and real time simulations of complex and nonlinear wheel-rail contact...
181
click to vote
WIAS
2010
15 years 4 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...
187
click to vote
ETELEMED
2009
IEEE
15 years 4 months ago
2009
IEEE
- E-Health systems' interoperability constitutes one of the main challenges of the IT society. E-Health interoperability will not occur without a shared policy and a process f...
189
click to vote
CJ
2010
15 years 3 months ago
2010
Sensor networks face a number of challenges when deployed in unpredictable environments under dynamic, quickly changeable demands, and when shared by many partners, which is often...
280
click to vote
ICONFERENCE
2011
15 years 1 months ago
2011
Wikipedia’s stated mission is to provide a free encyclopedia that people all over the world can use and contribute to. However, while Wikipedia is successful at providing access...