Sciweavers

1424 search results - page 65 / 285
» Modeling A Control System For Organizational Processes
Sort
View
FIS
2008
13 years 10 months ago
Towards an Ontological Foundation for Services Science
Most of the efforts conducted on services nowadays are focusing on aspects related to data and control flow, often disregarding the main goal of the future Internet of services, na...
Roberta Ferrario, Nicola Guarino
ROOM
2000
13 years 10 months ago
An Overview of The Mensurae Language: Specifying Business Processes
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
T. S. E. Maibaum
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
14 years 15 days ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
FDL
2003
IEEE
14 years 2 months ago
Analog Circuit Modeling in SystemC
This paper proposes a methodology for the extension of SystemC to mixed signal systems. An oscillator made up of an inverter chain has been used to test the accuracy and stability...
Massimo Conti, Marco Caldari, Simone Orcioni, Gior...
ISTA
2007
13 years 10 months ago
Knowledge-Oriented Approach to the Main Pipeline Complex Dispatching Control
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...
O. Ye. Fedorovich, A. V. Prokhorov, K. V. Golovan