1700 search results - page 149 / 340 » Specifying and implementing refactorings |
130
Voted
HUC
2000
Springer
15 years 8 months ago
2000
Springer
EVENTMANAGER is a tool that supports peripheral awareness by enabling users to be notified when events of interest take place within their workplace environment. Our initial implem...
163
Voted
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
149
click to vote
ISMIS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The conventional use of databases is commonly restricted to the retrieval of factual data in the form of tuples or records. However most databases also contain metadata i...
166
click to vote
ASAP
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
148
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...