Sciweavers

1938 search results - page 198 / 388
» Dependable Software
Sort
View
COMSIS
2007
135views more  COMSIS 2007»
13 years 9 months ago
Ambient Intelligence: Concepts and Applications
Ambient Intelligence aims to enhance the way people interact with their environment to promote safety and to enrich their lives. A Smart Home is one such system but the idea extend...
Juan Carlos Augusto, Paul J. McCullagh
TSE
1998
76views more  TSE 1998»
13 years 9 months ago
Measuring Design-Level Cohesion
—Cohesion was first introduced as a software attribute that, when measured, could be used to predict properties of implementations that would be created from a given design. Unfo...
James M. Bieman, Byung-Kyoo Kang
USAB
2010
13 years 7 months ago
Social Acceptance of Negotiation Support Systems
We investigate people’s attitudes towards the possible use of mobile negotiation support systems (NSS) in different social contexts and the consequences for their design. For tha...
Alina Pommeranz, Pascal Wiggers, Willem-Paul Brink...
VSTTE
2010
Springer
13 years 7 months ago
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann
FASE
2010
Springer
13 years 7 months ago
A Verifiable Modeling Approach to Configurable Role-Based Access Control
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim