Sciweavers

4008 search results - page 294 / 802
» An expressive language of signatures
Sort
View
PLDI
2004
ACM
16 years 4 days ago
Jedd: a BDD-based relational extension of Java
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
Ondrej Lhoták, Laurie J. Hendren
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
16 years 1 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
LTCONF
2007
Springer
16 years 25 days ago
Automatically Determining Attitude Type and Force for Sentiment Analysis
Recent work in sentiment analysis has begun to apply fine-grained semantic distinctions between expressions of attitude as features for textual analysis. Such methods, however, r...
Shlomo Argamon, Kenneth Bloom, Andrea Esuli, Fabri...
ISSTA
2006
ACM
16 years 20 days ago
APTE: automated pointcut testing for AspectJ programs
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...
Prasanth Anbalagan, Tao Xie
FODO
1998
Springer
214views Algorithms» more  FODO 1998»
15 years 10 months ago
Querying Composite Objects in Semistructured Data
In this paper, we propose an entity-based style of queries for semistructured data. First, we partition a semistructured data into subgraphs corresponding to real-world entities, ...
Keishi Tajima