10159 search results - page 1714 / 2032 » System Design Validation Using Formal Models |
193
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
This proposal explores the promotion of existing relational databases to Semantic Web Endpoints. It presents the benefits of ontologybased read and write access to existing relati...
190
click to vote
TR
2010
15 years 1 months ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...
161
click to vote
SIGECOM
2004
ACM
16 years 4 days ago
2004
ACM
Lack of cooperation (free riding) is one of the key problems that confronts today’s P2P systems. What makes this problem particularly difficult is the unique set of challenges ...
183
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
A 3D biped with knees and a hip is naturally modeled as a nontrivial hybrid system; impacts occur when the knee strikes and when the foot impacts the ground causing a switch in the...
161
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Commercial SRAM-based FPGAs have the potential to provide aerospace applications with the necessary performance to meet next-generation mission requirements. However, the suscepti...