1415 search results - page 224 / 283 » Verified systems by composition from verified components |
ICWN
2008
13 years 9 months ago
2008
Authentic program modification is very important for a multi-application smart card system since applications in the system are realized after the issuance of the smart card. In t...
AIPS
2003
13 years 9 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
ISCAPDCS
2004
13 years 9 months ago
2004
Increasing multimedia applications such as teleconferencing and video-on-demand require the Internet to effectively provide high-performance multicast support. One of the promisin...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
This paper presents a novel discrete population based stochastic optimization algorithm inspired from weed colonization. Its performance in a discrete benchmark, timecost trade-off...
ASWEC
2010
IEEE
13 years 8 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...