5634 search results - page 230 / 1127 » About Abstract Classes |
103
Voted
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
The Web of Linked Data is characterized by linking structured data from different sources using equivalence statements, such as owl:sameAs, as well as other types of linked propert...
99
Voted
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
DAC
1994
ACM
15 years 3 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
112
click to vote
LION
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present EvA2, a comprehensive metaheuristic optimization framework with emphasis on Evolutionary Algorithms. It presents a modular structure of interfaces and abstract...
100
Voted
ESAW
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...