6274 search results - page 833 / 1255 » Proofs, Programs, Processes |
199
click to vote
ICDCSW
2009
IEEE
16 years 7 days ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
154
click to vote
MODELS
2009
Springer
16 years 3 days ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
179
click to vote
INTERACTION
2009
ACM
16 years 3 days ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
250
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...
191
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...