Sciweavers

354 search results - page 28 / 71
» Consistency between Executable and Abstract Processes
Sort
View
104
Voted
IPPS
1998
IEEE
15 years 5 months ago
Comparing the Optimal Performance of Different MIMD Multiprocessor Architectures
We compare the performance of systems consisting of one large cluster containing q processors with systems where processors are grouped into k clusters containing u processors eac...
Lars Lundberg, Håkan Lennerstad
FDL
2005
IEEE
15 years 7 months ago
System model of an inertial navigation system using SystemC-AMS
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
Erik Markert, Göran Herrmann, Dietmar Mü...
CNSM
2010
14 years 12 months ago
Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains
Abstract--Change Management, a core process of the Information Technology Infrastructure Library (ITIL), is concerned with the management of changes to IT infrastructure and servic...
Sebastian Hagen, Alfons Kemper
130
Voted
CSE
2009
IEEE
14 years 11 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
TSD
2009
Springer
15 years 8 months ago
On a Computational Model for Language Acquisition: Modeling Cross-Speaker Generalisation
Abstract. The discovery of words by young infants involves two interrelated processes: (a) the detection of recurrent word-like acoustic patterns in the speech signal, and (b) cros...
Louis ten Bosch, Joris Driesen, Hugo Van Hamme, Lo...