Sciweavers

1525 search results - page 70 / 305
» Integrated Systems for Inducing Spatio-Temporal Process Mode...
Sort
View
ESEC
1997
Springer
15 years 8 months ago
A View-Oriented Approach to System Modelling Based on Graph Transformation
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
Gregor Engels, Reiko Heckel, Gabriele Taentzer, Ha...
113
Voted
IWINAC
2009
Springer
15 years 10 months ago
Toward an Integrated Visuomotor Representation of the Peripersonal Space
The purpose of this work is the creation of a description of objects in the peripersonal space of a subject that includes two kinds of concepts, related to on-line, action-related ...
Eris Chinellato, Beata Grzyb, Patrizia Fattori, An...
CORR
2011
Springer
241views Education» more  CORR 2011»
14 years 7 months ago
An Agent-based Strategy for Deploying Analysis Models into Specification and Design for Distributed APS Systems
Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promis...
Luis Antonio de Santa-Eulalia, Sophie D'Amours, Je...
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 5 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
ASWSD
2004
Springer
15 years 9 months ago
Simulink Integration of Giotto/TDL
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
Wolfgang Pree, Gerald Stieglbauer, Josef Templ