- Subscribe to this page:
- RSS
- Email Alert
scripting languages
(3331 results)-
White Papers
A Type System for Regular Expressions
May 20, 2012 12:00am PDT
Regular expressions are used to match and extract text. It is easy for developers to make syntactic mistakes when writing regular expressions, because regular expressions are often complex and...
Provided by: Association for Computing Machinery
-
White Papers
Brief Announcement: Waiting in Dynamic Networks
May 11, 2012 12:00am PDT
The authors consider infrastructure-less highly dynamic networks, where connectivity does not necessarily hold, and the network may actually be disconnected at every time instant. These networks...
Provided by: Association for Computing Machinery
-
White Papers
Web Services for Converged IP Networks
May 5, 2012 12:00am PDT
Rapid growth of computer network leading to converging necessitates management of servers by a server. Simple Network Management Protocol (SNMP) based management cannot be used for the converged...
Provided by: Universal Association of Computer and Electronics Engineers
-
White Papers
Closing the Gap Between Specification and Programming: Vdm++ and Scala
April 24, 2012 12:00am PDT
The authors argue that a modern programming language such as Scala offers a level of succinctness, which makes it suitable for program and systems specification as well as for high-level...
Provided by: California Institute of Technology
-
White Papers
Towards Business Processes Orchestrating the Physical Enterprise With Wireless Sensor Networks
April 23, 2012 12:00am PDT
The industrial adoption of Wireless Sensor Networks (WSNs) is hampered by two main factors. First, there is a lack of integration of WSNs with business process modeling languages and back-ends....
Provided by: University of Trento
-
-
White Papers
Mixin Up the ML Module System
April 23, 2012 12:00am PDT
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into mutually...
Provided by: Association for Computing Machinery
-
White Papers
Information-Flow Security for a Core of JavaScript
April 18, 2012 12:00am PDT
Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and resolving them. The...
Provided by: Chalmers University of Technology
-
White Papers
Do Background Colors Improve Program Comprehension in the #ifdef Hell?
April 17, 2012 12:00am PDT
Software-product-line engineering aims at the development of variable and reusable software systems. In practice, software product lines are often implemented with preprocessors. Preprocessor...
Provided by: University of Passau
-
White Papers
A Multimedia Interactive System
April 17, 2012 12:00am PDT
In today's world communication devices reduce distance between people. Everyone needs devices for easy interaction with world. There are lots of multimedia devices such as mobile phones, web cam,...
Provided by: International Journal of Computer Science and Information Technologies
-
White Papers
Vdiff: A Program Differencing Algorithm for Verilog Hardware Description Language
April 16, 2012 12:00am PDT
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because these tools implicitly assume...
Provided by: University of Texas
-
White Papers
MadLINQ: Large-Scale Distributed Matrix Computation for the Cloud
April 13, 2012 12:00am PDT
The computation core of many data-intensive applications can be best expressed as matrix computations. The MadLINQ project addresses the following two important research problems: the need for a...
Provided by: Association for Computing Machinery
-
White Papers
Programming With Permissions: An Introduction to HaMLet
April 13, 2012 12:00am PDT
The authors present the design of HaMLet, a programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory. A balance between...
Provided by: INRIA
-
White Papers
A Comprehensive Operational Semantics of the SCOOP Programming Model
April 13, 2012 12:00am PDT
Operational semantics is a flexible, but rigorous means to describe the meaning of programming languages. Small semantics are often preferred, for example to facilitate model checking. However,...
Provided by: ETH Zurich
-
White Papers
Lost in Translation: Improving Decoy Documents Via Automated Translation
April 13, 2012 12:00am PDT
Detecting insider attacks continues to prove to be one of the most difficult challenges in securing sensitive data. Decoy information and documents represent a promising approach to detecting...
Provided by: Columbia University
-
White Papers
A Core Calculus for Provenance
April 12, 2012 12:00am PDT
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer systems will need to...
Provided by: Springer Science+Business Media
-
White Papers
Checking Reachability Using Matching Logic
April 1, 2012 12:00am PDT
This paper presents a verification framework that is parametric in a (trusted) operational semantics of some programming language. The underlying proof system is language-independent and consists...
Provided by: Association for Computing Machinery
-
White Papers
Extending Java for Android Programming
April 1, 2012 12:00am PDT
Android is one of the most popular platforms for developing mobile applications. However, its framework relies on programming conventions and styles to implement framework-specific concepts like...
Provided by: University of Texas
-
White Papers
SQL Injection in Oracle: An Exploration of Vulnerabilities
April 1, 2012 12:00am PDT
Structured Query Language (SQL) injection is one of the most devastating vulnerabilities to impact a business, as it can lead to the exposure of sensitive information stored in an application's...
Provided by: Engg Journals Publications
-
White Papers
Design and Development of Mobile English Learning Supporting System by Integrating RFID Technology for 4th Grade Students
April 1, 2012 12:00am PDT
Currently, studies related to technology supporting situated learning are very popular in Taiwan and the most of studies associated with the subject of ecological environment, yet the issues...
Provided by: AICIT
-
White Papers
An Exploratory Study of the Design Impact of Language Features for Aspect-Oriented Interfaces
March 30, 2012 12:00am PDT
A variety of language features to modularize crosscutting concerns have recently been discussed, e.g., open modules, annotation-based point-cuts, explicit join points, and quantified-typed events....
Provided by: Association for Computing Machinery
