Sciweavers

2248 search results - page 162 / 450
» Evolution of ERP Systems
Sort
View
AUTOMATICA
2002
95views more  AUTOMATICA 2002»
15 years 5 months ago
Series expansions for analytic systems linear in control
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
Francesco Bullo
ICSE
2009
IEEE-ACM
15 years 12 months ago
Towards safety guarantees for service-oriented systems
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
Basil Becker
133
Voted
ACTA
2007
106views more  ACTA 2007»
15 years 5 months ago
Symbolic models for control systems
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
Paulo Tabuada
JCAL
2002
105views more  JCAL 2002»
15 years 4 months ago
Conceptualising work activity for CAL systems design
As computing technology has increasingly become relevant to people's everyday lives, emphasis is being placed on ensuring Computer Assisted Learning (CAL) tools support users ...
D. Mwanza
COORDINATION
2005
Springer
15 years 10 months ago
Synchronized Hyperedge Replacement for Heterogeneous Systems
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
Ivan Lanese, Emilio Tuosto