Sciweavers

2661 search results - page 205 / 533
» Quantum Complexity Classes
Sort
View
210
Voted
CADE
2002
Springer
16 years 3 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
115
Voted
FCT
2009
Springer
15 years 10 months ago
Computing Role Assignments of Chordal Graphs
In social network theory, a simple graph G is called k-role assignable if there is a surjective mapping that assigns a number from {1, . . . , k} called a role to each vertex of G ...
Pim van 't Hof, Daniël Paulusma, Johan M. M. ...
67
Voted
ICC
2007
IEEE
15 years 10 months ago
Implementation and Simulation of DBHPD and CBQ scheduling - A Comparative Study
— In this paper we analyze the operation of two scheduling algorithms, Class Based Queuing (CBQ) and Delay Bounded Hybrid Proportional Delay (DBHPD). We compare results obtained ...
Johanna Nieminen, Marko Luoma, Olli-Pekka Lamminen...
125
Voted
IWPC
2007
IEEE
15 years 10 months ago
Metrics for Measuring the Effectiveness of Decompilers and Obfuscators
Java developers often use decompilers to aid reverse engineering and obfuscators to prevent it. Decompilers translate low-level class files to Java source and can produce “good...
Nomair A. Naeem, Michael Batchelder, Laurie J. Hen...
129
Voted
CSEE
2007
Springer
15 years 9 months ago
Practice and Transfer of Learning in the Teaching of Software Testing
Many university classes and commercial training courses rely on classroom lecture and practice exercises to help students learn new skills. The thesis work described in this paper...
Cem Kaner, Sowmya Padmanabhan