Sciweavers

3837 search results - page 445 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
ECSA
2010
Springer
15 years 2 months ago
Mediating Connector Patterns for Components Interoperability
A key objective for ubiquitous environments is to enable system interoperability between system’s components that are highly heterogeneous. In particular, the challenge is to emb...
Romina Spalazzese, Paola Inverardi
IWPC
2010
IEEE
15 years 2 months ago
Identification of Idiom Usage in C++ Generic Libraries
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
Andrew Sutton, Ryan Holeman, Jonathan I. Maletic
SEKE
2010
Springer
15 years 2 months ago
Incremental Construction of Topic Hierarchies using Hierarchical Term Clustering
Topic hierarchies are very useful for managing, searching and browsing large repositories of text documents. The hierarchical clustering methods are used to support the constructi...
Ricardo M. Marcacini, Solange O. Rezende
VSTTE
2010
Springer
15 years 2 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
SERP
2010
15 years 2 months ago
Role Explosion: Acknowledging the Problem
- In large enterprises subject to constant employee turnover and challenging security policies, the administration of Role-based Access Control (RBAC) is a daunting task that is of...
Aaron Elliott, Scott Knight