– A split-bus architecture is proposed to improve the power dissipation for global data exchange among a set of modules. The resulting bus splitting problem is formulated and sol...
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
Gregor von Bochmann, Daniel Ouimet, Gerald W. Neuf...
Abstract--The paper introduces DILOC, a distributed, iterative algorithm to locate sensors (with unknown locations) in 1, with respect to a minimal number of + 1 anchors with known...
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...
Mario Ornaghi, Marco Benini, Mauro Ferrari, Camill...