Sciweavers

12551 search results - page 80 / 2511
» Reuse in Systems Engineering
Sort
View
IWPSE
2010
IEEE
13 years 7 months ago
Evolutional analysis of licenses in FOSS
FOSS (Free and Open Source System) is repeatedly modied and reused by other FOSS or proprietary software systems. They are released to others under specic licenses whose terms and...
Yuki Manabe, Yasuhiro Hayase, Katsuro Inoue
ICFEM
2004
Springer
14 years 3 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
14 years 3 months ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ļ¬...
Yann Zimmermann, Diana Toma
OOIS
2001
Springer
14 years 2 months ago
Towards a Model-Driven Approach to Reuse
A model-driven reuse approach that is based on an organizationā€™s Enterprise Architecture (EA) and on the Uniļ¬ed Modeling Language (UML) is proposed. The framework embodying th...
Robert B. France, Sudipto Ghosh, Daniel E. Turk
WD
2010
13 years 4 months ago
Uplink capacity analysis of OFDMA based cellular networks with reuse-1
Abstract--OFDMA based cellular radio networks aim to operate as close as possible to frequency reuse distance of one, where the whole spectrum would be available in every cell. Mod...
Maciej Mühleisen, Daniel Bültmann, Bernh...