465 search results - page 46 / 93 » Supporting Architectural Restructuring by Analyzing Feature ... |
MSS
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper analyzes a two-alternative voting model with the distinctive feature that voters have preferences over the support that each alternative receives, and not only over the...
110
click to vote
STTT
2010
14 years 10 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
116
click to vote
ECCV
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. This contribution proposes a compositional approach to visual object categorization of scenes. Compositions are learned from the Caltech 101 database1 intermediate abstra...
104
click to vote
WSC
1997
15 years 1 months ago
1997
This paper gives an overview of business process modeling with SIMPROCESS, its applications, unique features, basic and advanced modeling constructs, and benefits. 1 WHAT IS SIMPR...
146
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...