Sciweavers

5634 search results - page 175 / 1127
» About Abstract Classes
Sort
View
ICA3PP
2005
Springer
15 years 4 months ago
Object-Oriented Design and Implementations of 3G-324M Protocol Stack
Abstract. This paper describes an object-oriented design and efficient implementation of 3G-324M protocol stack for real-time multimedia transmission. In particular, we discuss the...
Weijia Jia, Haohuan Fu, Ji Shen
ISMIS
2005
Springer
15 years 4 months ago
Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming
Abstract. The post-genomic era showed up a wide range of new challenging issues for the areas of knowledge discovery and intelligent information management. Among them, the discove...
Luigi Palopoli, Simona E. Rombo, Giorgio Terracina
COMPSAC
2003
IEEE
15 years 4 months ago
A Graph Grammar Approach to Software Architecture Verification and Transformation
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song
ASP
2003
Springer
15 years 4 months ago
Integrating Semantic Web Reasoning and Answer Set Programming
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
Stijn Heymans, Dirk Vermeir
WOLLIC
2010
Springer
15 years 4 months ago
Feasible Functions over Co-inductive Data
Proof theoretic characterizations of complexity classes are of considerable interest because they link levels of conceptual abstraction to computational complexity. We consider he...
Ramyaa Ramyaa, Daniel Leivant