Sciweavers

201 search results - page 9 / 41
» Declaring Numbers
Sort
View
183
Voted
ICPP
2008
IEEE
16 years 24 days 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
170
Voted
ECOOP
2007
Springer
16 years 16 days 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
157
Voted
ADC
2003
Springer
101views Database» more  ADC 2003»
15 years 11 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
183
Voted
PADL
2000
Springer
15 years 10 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...
COLING
1990
15 years 7 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