3256 search results - page 461 / 652 » Applications of Formal Methods to System Design and Verifica... |
138
click to vote
WECWIS
2005
IEEE
15 years 11 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
168
click to vote
ECBS
2009
IEEE
16 years 6 days ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
153
click to vote
HUC
2010
Springer
15 years 6 months ago
2010
Springer
Medication compliance is a critical component in the success of any medical treatment. However, only 50% of patients correctly adhere to their prescription regimens. Mobile and ub...
153
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...
132
click to vote
TR
2010
15 years 3 days ago
2010
Redundancy allocation problems (RAPs) have attracted much attention for the past thirty years due to its wide applications in improving the reliability of various engineering syste...