2171 search results - page 230 / 435 » Cooperative Validation in Distributed Control Systems Design |
163
click to vote
PDPTA
2000
15 years 6 months ago
2000
Object middleware, such as CORBA, is rapidly gaining acceptance as a means for cost effective and fast development for a wide range of applications in various areas of industry. St...
147
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Among different wireless LAN technologies 802.11a has recently become popular due to its high throughput, large system capacity, and relatively long range. In this paper, we prop...
197
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
249
click to vote
SIGCSE
2006
ACM
15 years 11 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
155
Voted
ENTCS
2006
15 years 5 months ago
2006
Web services represent a challenge and an opportunity for organizations wishing to expose product and services offerings through the Internet. The Web service technology provides ...