Sciweavers

833 search results - page 64 / 167
» A Domain Specific Language for Project Execution Models
Sort
View
124
Voted
ASPLOS
2004
ACM
15 years 8 months ago
Formal online methods for voltage/frequency control in multiple clock domain microprocessors
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
Qiang Wu, Philo Juang, Margaret Martonosi, Douglas...
116
Voted
WWW
2005
ACM
16 years 3 months ago
SLL: running my web services on your WS platforms
Today, the choice for a particular programming language limits the alternative products that can be used to deploy the program. The purpose of this work is to break the strong tie...
Donald Kossmann, Christian Reichel
121
Voted
KBSE
1999
IEEE
15 years 7 months ago
Controlled Natural Language Can Replace First-Order Logic
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
Norbert E. Fuchs, Uta Schwertel, Sunna Torge
142
Voted
LREC
2008
256views Education» more  LREC 2008»
15 years 4 months ago
The ATIS Sign Language Corpus
Systems that automatically process sign language rely on appropriate data. We therefore present the ATIS sign language corpus that is based on the domain of air travel information...
Jan Bungeroth, Daniel Stein, Philippe Dreuw, Herma...
105
Voted
UML
1998
Springer
15 years 7 months ago
Literate Modelling - Capturing Business Knowledge with the UML
At British Airways, we have found during several large OO projects documented using the UML that non-technical end-users, managers and business domain experts find it difficult to ...
Jim Arlow, Wolfgang Emmerich, John Quinn