Sciweavers

1140 search results - page 127 / 228
» A Model Driven Framework for IT Transformation
Sort
View
ADBIS
2010
Springer
173views Database» more  ADBIS 2010»
15 years 6 months ago
Applying the UFO Ontology to Design an Agent-Oriented Engineering Language
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
Renata S. S. Guizzardi, Giancarlo Guizzardi
WSC
1997
15 years 7 months ago
Parallel Simulation of TCP/IP Using TeD
We are developing a parallel simulation framework for large-scale network simulation. An important component of this work is the development of a TCP/IP model library. TCP/IP expe...
Brian J. Premore, David M. Nicol
DSVIS
1995
Springer
15 years 10 months ago
On the Expression of Interaction Properties within an Interactor Model
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
Panos Markopoulos
MIAR
2006
IEEE
16 years 12 days ago
List-Mode Affine Rebinning for Respiratory Motion Correction in PET Cardiac Imaging
Positron Emission Tomography (PET) is an established functional imaging modality but its practical deployment is hampered by motion artefacts. This paper proposes a method for corr...
Adrian James Chung, Paolo G. Camici, Guang-Zhong Y...
ATAL
2010
Springer
15 years 6 months ago
Time constraints in mixed multi-unit combinatorial auctions
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
Andreas Witzel, Ulle Endriss