228 Hits in 4.0 sec

A Maude specification of an object-oriented model for telecommunication networks

Isabel Pita, Narciso Martí-Oliet
2002 Theoretical Computer Science  
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

Author index

2002 Theoretical Computer Science  
ı-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

Page 5468 of Mathematical Reviews Vol. , Issue 2003g [page]

2003 Mathematical Reviews  
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.  ... 

Contents and abstracts of the electronic notes in theoretical computer science vol. 4

José Meseguer
1998 Theoretical Computer Science  
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 This paper presents an object-oriented  ... 
doi:10.1016/s0304-3975(97)00247-8 fatcat:3cfgzbipsrenxoh5vxznnvaxl4

Rewriting Logic and Maude: A Wide-Spectrum Semantic Framework for Object-Based Distributed Systems [chapter]

José Meseguer
2000 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

Page 4561 of Mathematical Reviews Vol. , Issue 98G [page]

1998 Mathematical Reviews  
(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.  ... 

Towards a Strategy Language for Maude

Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
2005 Electronical Notes in Theoretical Computer Science  
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

A Survey of Policy-Based Management Approaches for Service Oriented Systems

Tan Phan, Jun Han, Jean-Guy Schneider, Tim Ebringer, Tony Rogers
2008 Australian Software Engineering Conference : Proceedings  
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

Automatic security assessment of critical cyber-infrastructures

Zahid Anwar, Ravinder Shankesi, Roy. H. Campbell
2008 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)  
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

Formal Specification and Verification of Communication in Network-On-Chip: An Overview

Fateh Boutekkouk
2018 International Journal of Recent Contributions from Engineering, Science & IT  
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

Technical sessions

2007 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

SCS: 60 years and counting! A time to reflect on the Society's scholarly contribution to M&S from the turn of the millennium

Navonil Mustafee, Korina Katsaliaki, Paul Fishwick, Michael D Williams
2012 Simulation (San Diego, Calif.)  
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 [3] that aims to benefit a specific audience.  ... 
doi:10.1177/0037549712456448 fatcat:55ogfsptk5hmvnmhayp5lt344a

Refactoring-based support for binary compatibility in evolving frameworks

Ilie Şavga, Michael Rudolf
2007 Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07  
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

Assessment of Bank Technology Machine and Mobile Banking as Market Strategies to Raising Performance of Banks in Nigeria

Anthony O. Adaramola, Funso T. Kolapo
2019 Journal of Economics and Behavioral Studies  
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

Specification of real-time and hybrid systems in rewriting logic

Peter Csaba Ölveczky, José Meseguer
2002 Theoretical Computer Science  
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