121 search results - page 10 / 25 » Modeling Aspect Mechanisms: A Top-Down Approach |
CAISE
2003
Springer
15 years 2 months ago
2003
Springer
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...
83
Voted
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
73
Voted
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
80
Voted
IEEEARES
2007
IEEE
15 years 3 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...