Sciweavers

4496 search results - page 765 / 900
» DACS Web Service
Sort
View
WOA
2007
14 years 11 months ago
Declarative representation of curricula models: an LTL- and UML-based approach
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...
81
Voted
ENVSOFT
2008
132views more  ENVSOFT 2008»
14 years 10 months ago
Managing wildlife: A spatial information system for GPS collars data
ISAMUD (Integrated System for Analysis and Management of Ungulate Data) is an integrated and modular software platform developed to manage GPS collar data for wildlife management....
Francesca Cagnacci, Ferdinando Urbano
IJWGS
2006
125views more  IJWGS 2006»
14 years 10 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...
JCP
2008
128views more  JCP 2008»
14 years 10 months ago
Life Cycle for Change Management in Business Processes using Semantic Technologies
In a fast changing market environment the task of reducing the downtime for change management of business processes has high importance. Ensuring that IT reflects the updated busin...
Uttam Kumar Tripathi, Knut Hinkelmann, Daniela Fel...
ENTCS
2007
112views more  ENTCS 2007»
14 years 10 months ago
A Calculus of Global Interaction based on Session Types
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
Marco Carbone, Kohei Honda, Nobuko Yoshida