2969 search results - page 272 / 594 » The Case for User-Centered CASE Tools |
158
click to vote
EOR
2008
15 years 6 months ago
2008
This paper presents a new approach to quality control of wastewater treatment. The first part formulates basic principles of statistical process control (SPC) and Taguchi Method. ...
189
click to vote
MST
2007
15 years 6 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
160
Voted
IAJIT
2010
15 years 5 months ago
2010
: Routing is the process of forwarding data across an inter-network from a designated source to a final destination. Along the way from source to destination, at least one intermed...
186
click to vote
IWPC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Free and open source software (FOSS) is often distributed in binary packages, sometimes part of GNU/Linux operating system distributions, or part of products distributed/sold to...
167
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...