206,293 Hits in 5.2 sec

A survey on policy languages in network and security management

Weili Han, Chang Lei
2012 Computer Networks  
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

Cyrus F. Nourani
1998 Software engineering notes  
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]

Antoinette Schapper
2017 Zenodo  
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?

Alexey Sorokin
2018 Proceedings of the  
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

Alexandru Jugravu, Thomas Fahringer
2005 Future generations computer systems  
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]

Alexandru Jugravu, Thomas Fahringer
2004 Lecture Notes in Computer Science  
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

K Kasal, J Heurix, T Neubauer
2011 2011 44th Hawaii International Conference on System Sciences  
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

Tarek Abdelzaher, Qing Cao, Raghu Ganti, Dan Henriksson, Maifi Khan, Jin Heo, Chengdu Huang, Praveen Jayachandran, Hieu Khac Le, Liqian Luo, Yu-En Tsai
2007 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)  
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]

Dominik Harz, William Knottenbelt
2018 arXiv   pre-print
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

Ahmad F. Subahi
2020 Computers  
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

K. Aberer, J.-H. Morin, A. Ouksel
2003 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the  
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?

Micha Elsner, Andrea D. Sims, Alexander Erdmann, Antonio Hernandez, Evan Jaffe, Lifeng Jin, Martha Booker Johnson, Shuan Karim, David L. King, Luana Lamberti Nunes, Byung-Doh Oh, Nathan Rasmussen (+6 others)
2019 Journal of Language Modelling  
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

Aleksandar Kostic, Milena Bozic
2007 Psihologija  
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

Martin Soukup, Jiri Soukup
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
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

Manuel Hermenegildo
1996 ACM Computing Surveys  
, 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