Sciweavers

694 search results - page 77 / 139
» Comparison of software architecture reverse engineering meth...
Sort
View
COMPSAC
2010
IEEE
15 years 1 months ago
Representing and Reasoning about Web Access Control Policies
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, Yunsong M...
120
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
A Distributed Architecture for Cooperative and Adaptative Multimedia Applications
Previously, we developed a method and a distributed platform for the re-engineering of applications by adding cooperation. The goal was to supply a way of communication based on t...
Philippe Roose, Marc Dalmau, Franck Luthon
123
Voted
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 9 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
136
Voted
ARCS
2005
Springer
15 years 9 months ago
Organic Architectures for Large-Scale Environment-Aware Sensor Networks
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
Paul Lukowicz, Erhardt Barth, Jan T. Kim
ICFEM
1998
Springer
15 years 7 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz