Sciweavers

1895 search results - page 6 / 379
» Modular Functional Descriptions
Sort
View
FIW
1998
104views Communications» more  FIW 1998»
13 years 9 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner
FORTE
1996
13 years 9 months ago
Formal Description Techniques - How Formal and Descriptive are they?
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
Manfred Broy
ASWC
2006
Springer
13 years 11 months ago
Modular Ontologies - A Formal Investigation of Semantics and Expressivity
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
Jie Bao, Doina Caragea, Vasant Honavar
IJMTM
2000
175views more  IJMTM 2000»
13 years 7 months ago
Reconfigurable manufacturing systems and their enabling technologies
A reconfigurable manufacturing system (RMS) is designed for rapid adjustment of production capacity and functionality in response to new market conditions and new process technolo...
Mostafa G. Mehrabi, A. Galip Ulsoy, Yoram Koren
MOC
2011
13 years 2 months ago
Fast evaluation of modular functions using Newton iterations and the AGM
We present an asymptotically fast algorithm for the numerical evaluation of modular functions such as the elliptic modular function j. Our algorithm makes use of the natural connec...
Régis Dupont