3921 search results - page 444 / 785 » Transforming Models with ATL |
178
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
191
click to vote
BTW
2007
Springer
16 years 29 days ago
2007
Springer
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
162
click to vote
ACSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
Fault induction attacks are a serious concern for designers of secure embedded systems. An ideal solution would be a generic circuit transformation that would produce circuits tha...
167
click to vote
ICESS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
189
Voted
FLOPS
2004
Springer
16 years 5 days ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...