Sciweavers

1669 search results - page 149 / 334
» Modeling ODP Computational Specifications Using UML
Sort
View
CODES
2007
IEEE
14 years 1 months ago
Synchronization after design refinements with sensitive delay elements
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
BPM
2010
Springer
191views Business» more  BPM 2010»
13 years 10 months ago
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
Wil M. P. van der Aalst, Niels Lohmann, Marcello L...
ICDM
2010
IEEE
160views Data Mining» more  ICDM 2010»
13 years 7 months ago
A Privacy Preserving Framework for Gaussian Mixture Models
Abstract--This paper presents a framework for privacypreserving Gaussian Mixture Model computations. Specifically, we consider a scenario where a central service wants to learn the...
Madhusudana Shashanka
FUIN
2006
97views more  FUIN 2006»
13 years 9 months ago
Interactive Systems with Registers and Voices
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
Gheorghe Stefanescu
CORR
2010
Springer
104views Education» more  CORR 2010»
13 years 4 months ago
Machine Science in Biomedicine: Practicalities, Pitfalls and Potential
Machine Science, or Data-driven Research, is a new and interesting scientific methodology that uses advanced computational techniques to identify, retrieve, classify and analyse da...
Thomas W. Kelsey, W. Hamish B. Wallace