A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
This paper presents an object-oriented model for broadband telecommunication networks, which can be used both for network management and for network planning purposes. ... The object-oriented model has been developed using the parallel object-oriented speciÿcation language Maude, which allows us to deÿne not only structural aspects of the model but also procedural aspects ... Clavel, and the anonymous referees for their detailed comments on previous versions of this paper. ...doi:10.1016/s0304-3975(01)00364-4 fatcat:nlhvxymipncbjhzotgf3vg2fpa
ı-Oliet, A Maude specification of an object-oriented model for telecommunication networks (2) 407-439 Quesada, J.F., see M. Clavel (2) 187-243 Seibert, S. and W. ... Knapp, A formal approach to object-oriented software engineering (2) 519-560 Wong, C.K., see K. ...doi:10.1016/s0304-3975(02)00461-9 fatcat:yokhuefq5vf5zm74lxprs2ebhy
of an object-oriented model for telecommunication networks. ... Summary: “This paper presents an object-oriented model for broadband telecommunication networks, which can be used both for network management and for network planning purposes. ...
There are also several papers on logical and metalogical specification; on reflection and strategies; on applications to object-oriented design, specification and programming; and on applications to constraint ... discussions on specific topics, and by scheduling a tutorial at the beginning of the workshop. ... Isabel Pita and Narciso Mar&Oliet A Ma& specification of an object-oriented database model for telecommunication networks http://www.elsevier.nl/locate/entcs/volume4.html This paper presents an object-oriented ...doi:10.1016/s0304-3975(97)00247-8 fatcat:3cfgzbipsrenxoh5vxznnvaxl4
IFIP Advances in Information and Communication Technology
Rewriting logic seems very weH suited as a semantic framework for open object-based distributed systems. ... Using Maude and its associated tools, such executable specifications can then be formally analyzed in a variety of ways. ... It is therefore a pleasure for me to warmly thank all these colleagues, many of whom are mentioned by name in the body of the paper and in the references, for their many important contributions. ...doi:10.1007/978-0-387-35520-7_5 fatcat:7oy4kfnjxnadxmojkv7jv34t3q
(electronic) ); Isabel Pita and Narciso Marti-Oliet, A Maude specification of an object-oriented database model for telecommunication networks (19 pp. (electronic)). ... (electronic) ); Ulrike Lechner, Object-oriented specifications of dis- tributed systems in the u-calculus and Maude (20 pp. ...
We describe a first proposal for a strategy language for Maude, to control the rewriting process and to be used at the object level instead of at the metalevel. ... Finally, we include a series of examples that illustrate the main features of the proposed language. ... Acknowledgements We would like to thank the rest of the Maude team for all their comments on the strategy language design, Miguel Palomino for suggesting the blackboard game example and for testing our ...doi:10.1016/j.entcs.2004.06.020 fatcat:hsntyjvjmbhg5jq6r4utx2xg3a
However, SOA differs in several aspects to traditional systems thus there is a unique set of requirements for an effective SOA policy system. ... In this paper, we evaluate five popular policy frameworks which are IETF, Ponder, KAoS, Rei and WS-Policy against a number of general and SOA-specific criteria to identify what features of these existing ... IETF's policy deployment model IETF does not define a specific policy language, instead Object Oriented (OO) policy information models are proposed. ...doi:10.1109/aswec.2008.4483228 fatcat:7saiozn4araplbqvkmta46lbwi
We describe a network model representing the static elements of a cyberinfrastructure including devices, services, network connectivity, vulnerabilities, and access controls. ... We introduce a toolkit that with a little manual assistance can automatically generate these models from specifications, continuously update attributes from online event aggregators, and perform security ... CIM, an object-oriented cyberinfrastructure modeling language developed by the Electric Power Research Institute (EPRI) is better suited for modeling electrical utility enterprises. ...doi:10.1109/dsn.2008.4630105 dblp:conf/dsn/AnwarSC08 fatcat:s3cngbwx4rgrralqv3xudo2bii
Network-On-Chip (NOC) is an emerging paradigm to surmount traditional bus based Systems-On-Chip (SOC) limits especially scalability and communication performances. ... In this paper we try to giva an overview of the most famous formal methods applied to the verification of communication inside NOCs. ... A Clos network is a kind of multistage circuit switching network used in the field of telecommunications. ...doi:10.3991/ijes.v6i4.9416 fatcat:7fljmcayfvdgpd7v3d4vt7lkvu
2007 12th IEEE Symposium on Computers and Communications
The application of the proposed framework to a specific modeling problem involves two phases: first, the network model is built from a set of (past) measurements of the gateways inbound/outbound traffic ... The paper develops an analytical model for the capacity of mobile ad hoc networks, which is able to indicate when the ad hoc network is effectively unusable. ... "An adaptation of one popular model of neural-networks algorithm (ART model) in the field of wireless sensor networks is demonstrated in this paper. ...doi:10.1109/iscc.2007.4381657 fatcat:bn67vm2cvvehvmqqxew4r2xkbe
The Society for Modeling and Simulation International (SCS) is celebrating its 60 th anniversary this year. ... In this paper we profile research that has been published in the journal SIMULATION: Transactions of the Society for Modeling and Simulation International -from the turn of the millennium to 2010; the ... In the context of scholarly publications, profiling is considered to be an art of introspection  that aims to benefit a specific audience. ...doi:10.1177/0037549712456448 fatcat:55ogfsptk5hmvnmhayp5lt344a
at least in 3 points: (1) a broader integration of general potential usability factors and metrics, (2) employing statistical methods for normalizing the calculated metrics and (3) an improved estimation ... Therefore, an integrated, consolidated and quantitative usability assessment model is required, to provide an entire construct of usability and to provide an improved estimation of the usability sample ... Acknowledgements This work was supported in part by NSF grant CCF-0546550, DARPA contract HR00110710019, the Department of Defense, and the Software Industry Center at CMU and its sponsors, especially ...doi:10.1145/1289971.1290000 dblp:conf/gpce/SavgaR07 fatcat:2ej6z6njl5da3a5t3ytrlufmvi
Findings support increasing distribution of Teller machines and raising awareness on Mobile banking as result-oriented marketing strategy for banks. ... The data were fitted to Panel regression models of Fixed and Random effects. ... The use of service delivery technology was considered an ideal tool of business diversification to achieve this objective. ...doi:10.22610/jebs.v11i3(j).2873 fatcat:ejuhbtw3fjhh7miiawbutggihu
We give general techniques by which such systems can be speciÿed as ordinary rewrite theories, and show that a wide range of real-time and hybrid system models, including object-oriented systems, timed ... This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. ... , Carolyn Talcott, TomÃ as Uribe, Martin Wirsing, and two anonymous referees for their comments and suggestions, that have helped us in the development of these ideas and in improving their presentation ...doi:10.1016/s0304-3975(01)00363-2 fatcat:bazmnbyejrej7a5wytmh6rpaba
« Previous Showing results 1 — 15 out of 228 results