14056 search results - page 2484 / 2812 » Consistency in Model Integration |
183
click to vote
PCI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The advances in wireless communications along with the exponential growth of transistors per integrated circuit lead to a rapid evolution of Wireless Sensor Devices (WSDs...
165
click to vote
SEMWEB
2005
Springer
16 years 7 days ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
161
click to vote
SPIN
2005
Springer
16 years 7 days ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
191
click to vote
SSS
2005
Springer
16 years 7 days ago
2005
Springer
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
169
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...