2108 search results - page 349 / 422 » An Operational Semantics for Stateflow |
130
Voted
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
121
Voted
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
150
Voted
SEMCO
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
134
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
125
Voted
COSIT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...