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 application/pdf.
Filters
A Maude specification of an object-oriented model for telecommunication networks
2002
Theoretical Computer Science
Preserved Fulltext
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
ı-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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1998
Theoretical Computer Science
Preserved Fulltext
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 application/pdf.
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
Rewriting Logic and Maude: A Wide-Spectrum Semantic Framework for Object-Based Distributed Systems
[chapter]
2000
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2008
Australian Software Engineering Conference : Proceedings
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)
Preserved Fulltext
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 application/pdf.
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
2018
International Journal of Recent Contributions from Engineering, Science & IT
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
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 application/pdf.
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
2012
Simulation (San Diego, Calif.)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07
Preserved Fulltext
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 application/pdf.
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
2019
Journal of Economics and Behavioral Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2002
Theoretical Computer Science
Preserved Fulltext
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 application/pdf.
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