Sciweavers

537 search results - page 9 / 108
» tools 1999
Sort
View
DAC
1999
ACM
15 years 11 months ago
A CAD Tool for Optical MEMS
Timothy P. Kurzweg, Steven P. Levitan, Philippe J....
APSEC
1999
IEEE
15 years 2 months ago
Evolution of Business Processes and a Process Simulation Tool
Business processes, such as workflows, are software, too. However, development, evolution, and deployment of business processes have different difficulties from general soft
Hiroyuki Tarumi, Tetsuya Matsuyama, Yahiko Kambaya...
TACAS
1999
Springer
92views Algorithms» more  TACAS 1999»
15 years 2 months ago
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. R...
HICSS
1999
IEEE
101views Biometrics» more  HICSS 1999»
15 years 2 months ago
History-based Tools for Navigation
I present a research framework and some tools developed as part of an ongoing effort into defining and using interaction history as part of a user interface for social navigation,...
Alan Wexelblat
CC
1999
Springer
157views System Software» more  CC 1999»
14 years 9 months ago
Tool Support for Language Design and Prototyping with Montages
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.
Matthias Anlauff, Philipp W. Kutter, Alfonso Piera...