Sciweavers

201 search results - page 9 / 41
» Declaring Numbers
Sort
View
132
Voted
ICPP
2008
IEEE
15 years 8 months ago
An Incentive-Compatible Mechanism for Scheduling Non-Malleable Parallel Jobs with Individual Deadlines
We design an incentive-compatible mechanism for scheduling n non-malleable parallel jobs on a parallel system comprising m identical processors. Each job is owned by a selfish us...
Thomas E. Carroll, Daniel Grosu
ECOOP
2007
Springer
15 years 8 months ago
MAO: Ownership and Effects for More Effective Reasoning About Aspects
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
Curtis Clifton, Gary T. Leavens, James Noble
107
Voted
ADC
2003
Springer
101views Database» more  ADC 2003»
15 years 7 months ago
Operational Semantics of Transactions
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
Andreas Prinz, Bernhard Thalheim
PADL
2000
Springer
15 years 5 months ago
Transformation-by-Example for XML
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Gr...
113
Voted
COLING
1990
15 years 3 months ago
Generation for Dialogue Translation Using Typed Feature Structure Unification
This article introduces a bidirectional grammar generation system called feature structure-directed generation, developed for a dialogue translation system. The system utilizes ty...
Yoshihiro Ueda, Kiyoshi Kogure