Sciweavers

4861 search results - page 388 / 973
» Parsimonious concept modeling
Sort
View
ACTA
2007
96views more  ACTA 2007»
15 years 7 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud
IJWGS
2006
125views more  IJWGS 2006»
15 years 6 months ago
Compiling business processes: untangling unstructured loops in irreducible flow graphs
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...
Wei Zhao, Rainer Hauser, Kamal Bhattacharya, Barre...
JSW
2007
126views more  JSW 2007»
15 years 6 months ago
Supporting UML Sequence Diagrams with a Processor Net Approach
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
Tony Spiteri Staines
GEOINFORMATICA
2010
66views more  GEOINFORMATICA 2010»
15 years 5 months ago
A semantic and language-based representation of an environmental scene
Abstract The modeling of a landscape environment is a cognitive activity that requires appropriate spatial representations. The research presented in this paper introduces a struct...
Jean-Marie Le Yaouanc, Eric Saux, Christophe Clara...
IMCSIT
2010
15 years 4 months ago
Software and hardware in the loop component for an IEC 61850 Co-Simulation platform
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
Haffar Mohamad, Thiriet Jean Marc