Sciweavers

166 search results - page 3 / 34
» On the Interoperability between Interval Software
Sort
View
SEFM
2009
IEEE
14 years 2 months ago
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
Davide Bresolin, Valentin Goranko, Angelo Montanar...
COMSIS
2010
13 years 5 months ago
Service-oriented enterprise interoperability in automobile supply chain management
How to enhance interoperability between stakeholders and improve efficiency of supply chain management is the key issue that needs to be addressed in automobile industry. Existing ...
Yong Zhang, Shijun Liu, Lei Wu, Yuchang Jiao
ATAL
2008
Springer
13 years 9 months ago
Constitutive interoperability
nts have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interopera...
Amit K. Chopra, Munindar P. Singh
IWPC
2006
IEEE
14 years 1 months ago
Integrating Reverse Engineering Tools Using a Service-Sharing Methodology
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prove...
Dean Jin, James R. Cordy
ERSHOV
2009
Springer
14 years 2 months ago
Standardization and Testing of Mathematical Functions
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
Victor V. Kuliamin