Sciweavers

3667 search results - page 544 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
IEEEARES
2008
IEEE
15 years 10 months ago
Static Validation of Licence Conformance Policies
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
René Rydhof Hansen, Flemming Nielson, Hanne...
167
Voted
ISORC
2008
IEEE
15 years 10 months ago
Toward Effective Multi-Capacity Resource Allocation in Distributed Real-Time and Embedded Systems
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
Nilabja Roy, John S. Kinnebrew, Nishanth Shankaran...
141
Voted
SOSE
2008
IEEE
15 years 10 months ago
Ontology for Service Oriented Testing of Web Services
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
Yufeng Zhang, Hong Zhu
108
Voted
TABLETOP
2008
IEEE
15 years 10 months ago
A field study of knowledge workers' use of interactive horizontal displays
To better understand the potential for horizontal surfaces in day-to-day work, we conducted a field study. We collected and analyzed over a month of use data from eight participan...
Meredith Ringel Morris, A. J. Bernheim Brush, Bria...
AH
2008
Springer
15 years 10 months ago
Towards Computerized Adaptive Assessment Based on Structured Tasks
In an attempt to support traditional classroom assessment processes with fully computerized methods, we have developed a method for adaptive assessment suitable for well structured...
Jozef Tvarozek, Milos Kravcik, Mária Bielik...