1579 search results - page 156 / 316 » A software development process supporting non-functional pro... |
163
Voted
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
194
click to vote
PAMI
2012
13 years 7 months ago
2012
—This paper is concerned with the representation and recognition of the observed dynamics (i.e., excluding purely spatial appearance cues) of spacetime texture based on a spatiot...
143
click to vote
IJHPCA
2002
15 years 4 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
132
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
158
click to vote
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...