Sciweavers

2661 search results - page 205 / 533
» Quantum Complexity Classes
Sort
View
CADE
2002
Springer
16 years 6 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
FCT
2009
Springer
16 years 1 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. ...
ICC
2007
IEEE
16 years 26 days 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...
IWPC
2007
IEEE
16 years 25 days 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...
CSEE
2007
Springer
16 years 22 days 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