674 search results - page 6 / 135 » Resource Bound Certification |
AIPS
2007
14 years 11 months ago
2007
We introduce the Linear Resource Temporal Network (LRTN), which consists of activities that consume or produce a resource, subject to absolute and relative metric temporal constra...
SAC
2002
ACM
14 years 9 months ago
2002
ACM
We describe a resource discovery and communication system designed for security and privacy. All objects in the system, e.g., appliances, wearable gadgets, software agents, and us...
SOPR
2008
14 years 9 months ago
2008
: Processes usually are defined according to underlying standards (ISO 15504, ESA ECSS, ISO 9001, ...) and are described with process steps to be performed by roles and producing r...
SIGUCCS
2003
ACM
15 years 2 months ago
2003
ACM
IT Training and Communications is a division of Information Technology Services (ITS), which provides computer application training for the faculty and staff at Saint Louis Univer...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...