Search Results

Reverse engineering an application requires attackers to invest time and effort doing manual and automatic analyses. When a new version of the application is released, this investment could be lost completely, if all the analyses had to be re-done. The ...

Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotlin, TypeScript, and Flow. But pattern matching on generic class ...

The effects of the COVID-19 pandemic have led to certain patterns in the different actions people take. One of the areas in which this pandemic has impacted most strongly is related to educational activities and children were the most affected. They ...

A lightweight method applies a few extraction patterns to the task of distinguishing Wikipedia articles that are classes ("Walled garden", "Garden") from other articles ("High Hazels Park"). The method acquires a set of classes, based on patterns ...

A supervised method relies on simple, lightweight features in order to distinguish Wikipedia articles that are classes (Shield volcano) from other articles (Kilauea). The features are lexical or semantic in nature. Experimental results in multiple ...

We prove several results which, together with prior work, provide a nearly-complete picture of the relationships among classical communication complexity classes between $${\mathsf{P}}$$P and $${\mathsf{PSPACE}}$$PSPACE, short of proving lower bounds ...

A lightweight method distinguishes articles within Wikipedia that are classes (Novel, Book) from other articles (Three Men in a Boat, Diary of a Pilgrimage). It exploits clues available within the article text and within categories associated with ...

An attribute is obligatory for a class in a Knowledge Base (KB), if all instances of the class have the attribute in the real world. For example, has­Birth­Date is an obligatory attribute for the class Person, while has ­ Spouse is not. In this paper, ...

A new solution of two subproblems completing the classification of pairs of commuting Hankel matrices is proposed, and the minimal orders of matrices solving these subproblems are indicated.

We prove two antibasis theorems for classes. The first is a jump inversion theorem for classes with respect to the global structure of the Turing degrees. For any , define S(P), the degree spectrum of P, to be the set of all Turing degrees a ...

In this paper, we consider multilevel relational database system in which security classifications are assigned at the granularity of individual data elements. Usually these multilevel relations exist only at the logical level. In reality, a multilevel ...

The specification of a class in Haskell often starts with stating, in comments, the laws that should be satisfied by methods defined in instances of the class, followed by the type of the methods of the class. This paper develops a framework that ...

We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritance, and virtual function call dispatch. These are key C++ language ...

This tutorial, designed for instructors of CS1/AP, introduces Alice3 with built-in transition from Alice to Java. The workshop offers hands-on experience programming with Alice3 and integrating a transition to Java IDE, e.g. NetBeans. Alice3 builds on ...

Keeping your institution's website accurate, relevant and timely (A.R.T) can be a challenge when you have multiple content management specialists/web publishers with varying skills and knowledge contributing to your website.

After Widener University ...

This paper presents the design and implementation of an introductory computer programming course using Alice for non-CS majors. This course gives a broad overview of computer science as an academic discipline and teaches computer programming to non-CS ...

Using UML class diagrams or OWL specifications, the designer is always confronted with the same problem: which concept should be modelled as a class and which concept can be pruned to an attribute (DatatypeProperty)? In this paper, a very simple and ...

In this paper we introduce a novel methodology for verifying a large set of Java programs which builds on recent theoretical developments in program verification: it combines the idea of abstract predicate families and the idea of symbolic execution and ...

Java has become the programming language of choice for the first computer programming course in most of the computer science programs in the country. However, Java is a true objected-oriented language and requires instructors to introduce object-...