10038 search results - page 1576 / 2008 » Model Checking for Managers |
146
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
163
click to vote
VL
2007
IEEE
16 years 1 months ago
2007
IEEE
The Treeview control is the traditional way of visualizing hierarchical information in user interfaces, but in situations such as managing bookmarks in browsers, more general clas...
184
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
134
click to vote
CCIA
2007
Springer
16 years 28 days ago
2007
Springer
: In this paper we propose the use of an argument-based model – ProCLAIM – that has the potential to minimize ecological impact of industrial wastewater discharges into water b...
189
click to vote
CIKM
2007
Springer
16 years 28 days ago
2007
Springer
In this work a method for detecting distance-based outliers in data streams is presented. We deal with the sliding window model, where outlier queries are performed in order to de...