708 search results - page 29 / 142 » Precise Specification and Automatic Application of Design Pa... |
226
click to vote
POPL
2002
ACM
16 years 3 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
136
click to vote
SSR
2001
15 years 4 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
109
click to vote
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
132
click to vote
EHCI
2004
15 years 4 months ago
2004
Most of the current WWW is made up of dynamic pages. The development of dynamic pages is a difficult and costly endeavour, out-of-reach for most users, experts, and content produce...
134
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...