Sciweavers

29172 search results - page 244 / 5835
» Modeling Systems in CLP
Sort
View
VLSID
1999
IEEE
101views VLSI» more  VLSID 1999»
15 years 11 months ago
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
Ingo Sander, Axel Jantsch
ADC
2004
Springer
109views Database» more  ADC 2004»
15 years 10 months ago
A Model of Dynamic Resource Allocation in Workflow Systems
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
Guido Governatori, Antonino Rotolo, Shazia Wasim S...
FOIKS
2006
Springer
15 years 10 months ago
Modeling the Evolution of Objects in Temporal Information Systems
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
Alessandro Artale, Christine Parent, Stefano Spacc...
MCS
2008
Springer
15 years 6 months ago
Parameter identification and model verification in systems of partial differential equations applied to transdermal drug deliver
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
Klaus Schittkowski
ICMLA
2010
15 years 4 months ago
A Probabilistic Graphical Model of Quantum Systems
Quantum systems are promising candidates of future computing and information processing devices. In a large system, information about the quantum states and processes may be incomp...
Chen-Hsiang Yeang