1583 search results - page 146 / 317 » Standardization and Competitive Advantage |
135
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
120
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we describe how we applied a BIST-based approach to the test of a logic core to be included in System-on-achip (SoC) environments. The approach advantages are the ab...
132
click to vote
EMO
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we propose a new conceptual method for the design, investigation, and evaluation of multi-objective variation operators for evolutionary multi-objective algorithms. ...
135
click to vote
AICCSA
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents a novel approach based on clustering algorithms in combination with the location area (LA) scheme to solve the mobility management problem. Users' movemen...
156
click to vote
AOSE
2008
Springer
15 years 6 months ago
2008
Springer
Situational Method Engineering for constructing ad-hoc agent oriented design process is grounded on a well defined set of phases that are principally based on reuse of components c...