280 search results - page 12 / 56 » Termination Tools in Ordered Completion |
P2P
2007
IEEE
14 years 2 months ago
2007
IEEE
Range queries are a very powerful tool in a wide range of data management systems and are vital to a multitude of applications. The hierarchy of structured overlay systems can be ...
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating wellfoundedness of unions of relations. To that en...
TWC
2008
13 years 8 months ago
2008
1 . Cooperative transmission has emerged as an effective tool to deal with channel impairments. In this work we study the applicability of amplify-and-forward cooperative transmiss...
KBSE
1999
IEEE
14 years 21 days ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
ICALT
2003
IEEE
14 years 1 months ago
2003
IEEE
This study presents a shared document-based annotation tool, EDUCOSM. Usefulness of the system is empirically evaluated in a real-life collaborative learning context. Relationship...