641 search results - page 106 / 129 » A Framework for Analyzing Configurations of Deployable Softw... |
CACM
2005
13 years 8 months ago
2005
This paper presents a set of architectures for the composition of ubiquitous computing applications. It describes research that is being carried out in "extrovert-Gadgets&quo...
CSFW
2004
IEEE
14 years 15 days ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...
CADE
2009
Springer
14 years 9 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
—As Electronic Control Units (ECUs) and embedded software functions within an automobile keep increasing in number, the scale and complexity of automotive embedded systems is gro...
ICDCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Runtime monitoring is key to the effective management of enterprise and high performance applications. To deal with the complex behaviors of today’s multi-tier applications runn...