937 search results - page 68 / 188 » On the Complexity of Partial Order Properties |
167
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
191
click to vote
AC
2002
Springer
15 years 5 months ago
2002
Springer
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
181
click to vote
WCC
2005
Springer
15 years 11 months ago
2005
Springer
Nonlinear n-stage feedback shift-register sequences over the finite field Fq of period qn − 1 are investigated under linear operations on sequences. We prove that all members o...
152
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
131
click to vote
DATE
2007
IEEE
16 years 10 days ago
2007
IEEE
This paper presents the Pareto Calculator, a tool for compositional computation of Pareto points, based on the algebra of Pareto points. The tool is a useful instrument for multidi...