Sciweavers

8068 search results - page 357 / 1614
» Java Data Objects
Sort
View
KBSE
2002
IEEE
15 years 11 months ago
SeDiTeC - Testing Based on Sequence Diagrams
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
Falk Fraikin, Thomas Leonhardt
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 10 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
WWW
2004
ACM
16 years 7 months ago
Ontological representation of learning objects: building interoperable vocabulary and structures
The ontological representation of learning objects is a way to deal with the interoperability and reusability of learning objects (including metadata) through providing a semantic...
Jian Qin, Naybell Hernández
SSDBM
2000
IEEE
87views Database» more  SSDBM 2000»
15 years 11 months ago
A Tool for Nesting and Clustering Large Objects
In implementations of non-standard database systems, large objects are often embedded within an aggregate of different types, i.e. a tuple. For a given size and access probabilit...
Stefan Dieker, Ralf Hartmut Güting, Miguel Ro...
PVLDB
2010
108views more  PVLDB 2010»
15 years 5 months ago
Retrieving Top-k Prestige-Based Relevant Spatial Web Objects
The location-aware keyword query returns ranked objects that are near a query location and that have textual descriptions that match query keywords. This query occurs inherently i...
Xin Cao, Gao Cong, Christian S. Jensen