1641 search results - page 208 / 329 » The Timeboxing process model for iterative software developm... |
100
Voted
SERP
2003
15 years 2 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
123
Voted
ICIP
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper introduces a video object segmentation algorithm developed in the context of the European project Art.live1 where constraints on the quality of segmentation and the pro...
126
click to vote
AMAST
1995
Springer
15 years 5 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
190
click to vote
SOFTWARE
2011
14 years 8 months ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
128
click to vote
ECBS
1999
IEEE
15 years 5 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...