91 search results - page 8 / 19 » Runtime Validation of Behavioural Contracts for Component So... |
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
QoS has been one of the major challenges in Web Services area. Though negotiated in the contract, service quality usually can not be guaranteed by providers. Therefore, the servic...
OSDI
1996
ACM
13 years 8 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
CCGRID
2006
IEEE
14 years 1 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
CBSE
2004
Springer
14 years 23 days ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...