3435 search results - page 88 / 687 » Aspect Model Unweaving |
134
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
122
click to vote
IWINAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The brain representations of words and their referent actions and objects appear to be strongly coupled neuronal assemblies distributed over several cortical areas. In th...
129
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Modelling of multi-layer power system interactions will become increasingly important as market mechanisms and feedback controls become more tightly coupled into the physical syst...
136
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
The aim of this paper is to determine aspects to be considered in Bunge’s ontological models in order to obtain an Integrated Ontological Model of Information Systems (IOMIS). Th...
110
click to vote
SSS
2010
Springer
15 years 2 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...