• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 2,322
Next 10 →

CPL: A Core Language for Cloud Computing

by Oliver Bračevac , Sebastian Erdweg , Guido Salvaneschi , Mira Mezini
"... Abstract Running distributed applications in the cloud involves deployment. That is, distribution and configuration of application services and middleware infrastructure. The considerable complexity of these tasks resulted in the emergence of declarative JSON-based domain-specific deployment langua ..."
Abstract - Add to MetaCart
services such as application-specific load balancing policies. To address these shortcomings, we propose CPL (Cloud Platform Language), a statically-typed core language for programming both distributed applications as well as their deployment on a cloud platform. In CPL, application services and deployment

Featherweight Java: A Minimal Core Calculus for Java and GJ

by Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - ACM Transactions on Programming Languages and Systems , 1999
"... Several recent studies have introduced lightweight versions of Java: reduced languages in which complex features like threads and reflection are dropped to enable rigorous arguments about key properties such as type safety. We carry this process a step further, omitting almost all features of the fu ..."
Abstract - Cited by 659 (23 self) - Add to MetaCart
computational “feel, ” providing classes, methods, fields, inheritance, and dynamic typecasts with a semantics closely following Java’s. A proof of type safety for Featherweight Java thus illustrates many of the interesting features of a safety proof for the full language, while remaining pleasingly compact

An Architecture for a Secure Service Discovery Service

by Steven E. Czerwinski , Ben Y. Zhao, Todd D. Hodes, Anthony D. Joseph, Randy H. Katz , 1999
"... The widespread deployment of inexpensive communications technology, computational resources in the networking infrastructure, and network-enabled end devices poses an interesting problem for end users: how to locate a particular network service or device out of hundreds of thousands of accessible se ..."
Abstract - Cited by 334 (8 self) - Add to MetaCart
The widespread deployment of inexpensive communications technology, computational resources in the networking infrastructure, and network-enabled end devices poses an interesting problem for end users: how to locate a particular network service or device out of hundreds of thousands of accessible

KLAIM: a Kernel Language for Agents Interaction and Mobility

by Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese - IEEE Transactions on Software Engineering , 1997
"... We investigate the issue of designing a kernel programming language for Mobile Computing and describe Klaim, a language that supports a programming paradigm where processes, like data, can be moved from one computing environment to another. The language consists of a core Linda with multiple tuple s ..."
Abstract - Cited by 258 (62 self) - Add to MetaCart
We investigate the issue of designing a kernel programming language for Mobile Computing and describe Klaim, a language that supports a programming paradigm where processes, like data, can be moved from one computing environment to another. The language consists of a core Linda with multiple tuple

SCOPE: Easy and Efficient Parallel Processing of Massive Data Sets

by Ronnie Chaiken, Bob Jenkins, Per-åke Larson, Bill Ramsey, Darren Shakib, Simon Weaver, Jingren Zhou
"... Companies providing cloud-scale services have an increasing need to store and analyze massive data sets such as search logs and click streams. For cost and performance reasons, processing is typically done on large clusters of shared-nothing commodity machines. It is imperative to develop a programm ..."
Abstract - Cited by 206 (9 self) - Add to MetaCart
programming model that hides the complexity of the underlying system but provides flexibility by allowing users to extend functionality to meet a variety of requirements. In this paper, we present a new declarative and extensible scripting language, SCOPE (Structured Computations Optimized for Parallel

CPL as a Query Language for Genetic Databases

by Kyle Hart, Limsoon Wong , 1994
"... s area. To tackle this problem, access to GDB, Sortez, and Entrez is needed. GDB is the main Sybase relational database; we use it for obtaining marker information for the region in question. This database is located in Baltimore and has to be accessed remotely. Entrez is a special collection of too ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
of tools for the NCBI ASN.1 database, we use it for accessing precomputed links to retrieve homologous sequences. This database is stored on a cdrom connected directly to our machine at Penn's computing department. As GDB and Entrez use different identifiers, we need a third database to look up

Knowledge representation and reasoning

by Ronald J. Brachman, Hector J. Levesque , 2003
"... Knowledge Representation is the area of Artificial Intelligence (AI) concerned with how knowledge can be represented symbolically and manipulated in an automated way by reasoning programs. It is at the very core of a radical idea about how to understand intelligence: instead of trying to understand ..."
Abstract - Cited by 198 (3 self) - Add to MetaCart
Knowledge Representation is the area of Artificial Intelligence (AI) concerned with how knowledge can be represented symbolically and manipulated in an automated way by reasoning programs. It is at the very core of a radical idea about how to understand intelligence: instead of trying to understand

On the Unification Power of Models

by Jean Bézivin
"... In November 2000, the OMG made public the MDA ™ initiative, a particular variant of a new global trend called MDE (Model Driven Engineering). The basic ideas of MDA are germane to many other approaches such as generative programming, domain specific languages, model-integrated computing, generic mo ..."
Abstract - Cited by 189 (7 self) - Add to MetaCart
In November 2000, the OMG made public the MDA ™ initiative, a particular variant of a new global trend called MDE (Model Driven Engineering). The basic ideas of MDA are germane to many other approaches such as generative programming, domain specific languages, model-integrated computing, generic

Exploring network structure, dynamics, and function using NetworkX

by Daniel A. Schult - In Proceedings of the 7th Python in Science Conference (SciPy , 2008
"... NetworkX is a Python language package for explo-ration and analysis of networks and network algo-rithms. The core package provides data structures for representing many types of networks, or graphs, including simple graphs, directed graphs, and graphs with parallel edges and self-loops. The nodes in ..."
Abstract - Cited by 180 (0 self) - Add to MetaCart
NetworkX is a Python language package for explo-ration and analysis of networks and network algo-rithms. The core package provides data structures for representing many types of networks, or graphs, including simple graphs, directed graphs, and graphs with parallel edges and self-loops. The nodes

The Architecture of the Ara Platform for Mobile Agents

by Holger Peine, Torsten Stolpmann , 1997
"... We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any point in their execution, fully preserving their state, and may exchange messages with other agents. One system may conta ..."
Abstract - Cited by 174 (2 self) - Add to MetaCart
We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any point in their execution, fully preserving their state, and may exchange messages with other agents. One system may
Next 10 →
Results 1 - 10 of 2,322
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University