Sciweavers

4037 search results - page 450 / 808
» Video performance in Java
Sort
View
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
15 years 10 months 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
120
Voted
SEKE
2004
Springer
15 years 10 months 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...
141
Voted
SGAI
2004
Springer
15 years 10 months 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»
15 years 10 months 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
15 years 10 months 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...