Sciweavers

3827 search results - page 508 / 766
» The Epsilon Generation Language
Sort
View
HICSS
2007
IEEE
124views Biometrics» more  HICSS 2007»
16 years 10 days ago
POSAML: A Visual Modeling Framework for Middleware Provisioning
Effective provisioning of next generation distributed applications hosted on diverse middleware platforms incurs significant challenges due to the applications’ growing complex...
Dimple Kaul, Arundhati Kogekar, Aniruddha S. Gokha...
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
16 years 9 days 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...
KBSE
2007
IEEE
16 years 8 days ago
Keyword programming in java
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
Greg Little, Robert C. Miller
MEMOCODE
2007
IEEE
16 years 8 days ago
Scheduling as Rule Composition
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
Nirav Dave, Arvind, Michael Pellauer
VL
2007
IEEE
149views Visual Languages» more  VL 2007»
16 years 8 days ago
A Type System Based on End-User Vocabulary
In previous work we have developed a system that automatically checks for unit errors in spreadsheets. In this paper we describe our experiences using the system in a workshop on ...
Robin Abraham, Martin Erwig, Scott Andrew