A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
A survey on policy languages in network and security management
2012
Computer Networks
Preserved Fulltext
Accordingly, a variety of policy languages are proposed to express intentions of administrators in the policy-driven systems, especially for the network and security management. ...
In these systems, policies are usually used to simplify the tasks of the system management, thus making way for further system enlargement. ...
It can also be selected by the policy-driven system to express high-level goals. ...
doi:10.1016/j.comnet.2011.09.014
fatcat:cqh7ie63cbfvpggkkj2syyqq5y
Software agents and intelligent object fusion
1998
Software engineering notes
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.
A new high level concurrent syntax language is applied to the designs. A novel multi-kernel design technique is presented. ...
Multiagent implementations are defined for the modular designs, applying our recent projects which have lead to fault tolerant AI systems. ...
The Pull-up Abstraction Function 5.1 The Two Level Language Paradigm The abstract syntax put forth for to be implemented are expected at two levels. ...
doi:10.1145/272263.272358
fatcat:lveyakkknzdwzh3cksthp5brly
Elevation In The Spatial Deictic Systems Of Alor-Pantar Languages
[chapter]
2017
Zenodo
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.
the AP languages, but that the terms of the systems are not always stable and that the systems are often subject to elaboration. ...
The systems show a high degree of variation both in the number of paradigms of elevation-marked terms as well as in the number of semantic components within the different elevational domains. ...
The distribution also does not conform to any known subgroups of the AP languages, thus justifying the reconstruction of the four morphemes to the highest level, pAP. ...
doi:10.5281/zenodo.569394
fatcat:akqhjkxwmvdgbpfqpycxzjroru
What can we gain from language models for morphological inflection?
2018
Proceedings of the
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.
This paper investigates the attempts to augment neural-based inflection models with characterbased language models. ...
We also propose another language-model based approach that can be used as a strong baseline in low-resource setting. ...
I am grateful to all the members of Neural Networks and Deep Learning Lab at MIPT (http://ipavlov. ai) for helpful discussions during my investigations. ...
doi:10.18653/v1/k18-3012
dblp:conf/conll/Sorokin18
fatcat:pdquczcqwjfubi5zfexgfa4rca
JavaSymphony, a programming model for the Grid
2005
Future generations computer systems
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 overall idea is to provide a high level programming paradigm that shields the programmer from low level implementation details such as RMI, sockets, and threads. ...
In previous work, JavaSymphony has been introduced as a high level programming model for performance-oriented distributed and parallel Java programs. ...
Introduction Numerous research projects have introduced class libraries or language extensions for Java to enable parallel and distributed high-level programming. ...
doi:10.1016/j.future.2004.09.030
fatcat:fj3o7qyh4nfgbg3manwl24kbk4
JavaSymphony, a Programming Model for the Grid
[chapter]
2004
Lecture Notes in 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 2018; you can also visit the original URL.
The file type is application/pdf.
The overall idea is to provide a high level programming paradigm that shields the programmer from low level implementation details such as RMI, sockets, and threads. ...
In previous work, JavaSymphony has been introduced as a high level programming model for performance-oriented distributed and parallel Java programs. ...
Introduction Numerous research projects have introduced class libraries or language extensions for Java to enable parallel and distributed high-level programming. ...
doi:10.1007/978-3-540-24688-6_4
fatcat:rxkgbd4lx5eu5ibmj2vqdsyobi
Model-Driven Development Meets Security: An Evaluation of Current Approaches
2011
2011 44th Hawaii International Conference on System Sciences
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 2011; you can also visit the original URL.
The file type is application/pdf.
The evaluation shows that applying special-purpose methods to particular aspects of the problem is more suitable than applying generic ones, since (i) the problem can be represented on the proper abstraction ...
Lately, model-driven development has been proposed in order to increase the quality and thereby the security of software systems. ...
systems, the artifacts that have to be provided by the modeler, or the applied modeling paradigm. ...
doi:10.1109/hicss.2011.310
dblp:conf/hicss/KasalHN11
fatcat:eujsqve6ovgpbagm6nmftoi7li
Towards a Layered Architecture for Object-Based Execution in Wide-Area Deeply Embedded Computing
2007
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'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.
Sensor networks introduce a new application domain and set of challenges in distributed computing including new network-level programming languages, global system abstractions, and general-purpose communication ...
In that sense, the sensor network architecture refers to a layered stack of distributed computing abstractions. ...
Experiences with this system are will be shared in a subsequent publication. ...
doi:10.1109/isorc.2007.60
dblp:conf/isorc/AbdelzaherCGHKHHJLLT07
fatcat:5aaa4ormfzh27kk5fqck3ujsty
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
[article]
2018
arXiv
pre-print
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.
Other Versions
Accordingly, we introduce their verification approach, level of automation, coverage, and supported languages. ...
First, we introduce several smart contract languages focussing on security features. To that end, we present an overview concerning paradigm, type, instruction set, semantics, and metering. ...
Acknowledgement We like to thank Ben Livshits for his helpful comments on our work. ...
arXiv:1809.09805v4
fatcat:qgkoagaifvegjivy2vmu4tjfjy
Cognification of Program Synthesis—A Systematic Feature-Oriented Analysis and Future Direction
2020
Computers
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.
Program synthesis is defined as a software development step aims at achieving an automatic process of code generation that is satisfactory given high-level specifications. ...
After identifying critical features that might be considered when distinguishing synthesis systems, it will be possible to introduce a conceptual design for the future involving program synthesis/MDE frameworks ...
It is described normally using a high-level specification language (e.g., Hoare logic) supported by one theorem proving system (e.g., Isabelle [74] ) to prove its correctness [79] . ...
doi:10.3390/computers9020027
fatcat:4t25hhuh4fcsrjzhfriggo5vra
Peer-to-peer ecommerce systems and applications
2003
36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the
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 2006; you can also visit the original URL.
The file type is application/pdf.
towards inclusion at the system level for small devices and high-end servers. by Rupp and Estier proposes a model to compare the actors and value chains of the music distribution industry with respect ...
Peer-to-Peer computing is characterized by an increasing decentralization and autonomy of components thus leading to a new paradigm of distributed computing requiring new approaches and patterns. ...
We hope this minitrack will provide the basis for productive discussions on many aspects of Peer-to-Peer computing and related issues. ...
doi:10.1109/hicss.2003.1174814
fatcat:wyldf6cgmncg3o7wm35lzrb2c4
Modeling morphological learning, typology, and change: What can the neural sequence-to-sequence framework contribute?
2019
Journal of Language Modelling
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.
The high-level argument is simple: all natural languages must be learned, and "unlearnable" linguistic systems cannot survive. ...
paradigms; such models have been applied to language generation, machine translation, and other tasks. ...
doi:10.15398/jlm.v7i1.244
fatcat:bjzl27q6srhd7gocwg5gtsgwwq
Constraints on probability distributions of grammatical forms
2007
Psihologija
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.
In this study we investigate the constraints on probability distribution of grammatical forms within morphological paradigms of Serbian language, where paradigm is specified as a coherent set of elements ...
Nonhomogeneous distribution of relative entropy values allows for estimating the relative entropy of the morphological system as a whole. ...
range is not morphology specific, but more general and may apply to all aspects of language. ...
doi:10.2298/psi0701005k
fatcat:6nwdrfgicbba5lem3qjs2ywqnm
The popularity cycle of graphical tools, UML, and libraries of associations
2007
Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '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 2019; you can also visit the original URL.
The file type is application/pdf.
This workshop attempts to take a unified view of UML-related ideas which span from high level software design (UML and MDD) to technical details of implementing reusable associations. ...
It also identifies gaps in the existing programming languages addressed by UML class diagrams. The discussion is not language specific and applies to both C++ and Java. ...
Does this apply to distributed computing? This is another important area which we would like to explore.
Box 12. UML isn't just class diagrams. ...
doi:10.1145/1297846.1297871
dblp:conf/oopsla/SoukupS07
fatcat:mk4c5topzrfzvpzfaj3wps4z3a
Some challenges for constraint programming
1996
ACM Computing Surveys
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.
, and the extensión of the application domain to distributed, global programming. ...
We also briefly discuss how we are exploring techniques to meet these challenges in the context of the development of the CIAO constraint logic programming system. ...
Intervening factors in this fact appear to be the expressiveness awarded by the high level of these languages, the combination of search and incremental constraint solving capabilities, and the relative ...
doi:10.1145/242224.242305
fatcat:k7tcnexnsnecphtvofaca6kubq
« Previous
Showing results 1 — 15 out of 206,293 results