2958 search results - page 375 / 592 » Extending and Implementing RASP |
94
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
90
Voted
QSIC
2007
IEEE
15 years 7 months ago
2007
IEEE
Recent research showed that the majority of compatibility-breaking changes in a component-based, object-oriented software system are refactorings [5]. The software updating proces...
119
Voted
RTSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Wireless sensor network (WSN) applications have been studied extensively in recent years. Such applications involve resource-limited embedded sensor nodes that have small size and...
90
Voted
SECURWARE
2007
IEEE
15 years 7 months ago
2007
IEEE
— Digital Ecosystems is the new paradigm for dynamic IT business integration. A Digital Ecosystem consists of institutions that compete, collaborate, and form stable or unstable ...
110
Voted
VTC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—Dedicated Short Range Communications (DSRC)based communications enable novel automotive safety applications such as an Extended Electronic Brake Light or Intersection Co...