Sciweavers

4037 search results - page 450 / 808
» Video performance in Java
Sort
View
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
16 years 4 days ago
Type Inference Against Races
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
Cormac Flanagan, Stephen N. Freund
SEKE
2004
Springer
16 years 4 days ago
Digging into the Visitor Pattern
In this paper we present an alternative to the VISITOR pattern, DYNAMIC DISPATCHER, that can be applied to extend existing software in a nonintrusive way, and which simulates cova...
Fabian Büttner, Oliver Radfelder, Arne Lindow...
SGAI
2004
Springer
16 years 4 days ago
OntoSearch: An Ontology Search Engine
Reuse of knowledge bases and the semantic web are two promising areas in knowledge technologies. Given some user requirements, finding the suitable ontologies is an important task...
Yi Zhang, Wamberto Weber Vasconcelos, Derek H. Sle...
HICSS
2003
IEEE
179views Biometrics» more  HICSS 2003»
16 years 3 days ago
JUMBL: A Tool for Model-Based Statistical Testing
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
Stacy J. Prowell
PPPJ
2003
ACM
16 years 1 days ago
Multi-tiered distributed computing platform
A simple programmable Java platform-independent distributed computation system has been developed to exploit the free resources on computers linked together by a network. It is a ...
Andrew J. Page, Thomas M. Keane, Richard Allen, Th...