Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
JUCS
2007
74views more  JUCS 2007»
11 years 9 months ago
Software Is More Than Code
Sriram K. Rajamani
JUCS
2007
116views more  JUCS 2007»
11 years 9 months ago
Model Checking: Software and Beyond
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
Edmund M. Clarke, Flavio Lerda
JUCS
2007
92views more  JUCS 2007»
11 years 9 months ago
Parameter Estimation of Systems Described by the Relation with Noisy Observations
: In this paper the problem of parameter estimation of an input – output system is discussed. It is assumed that the system is described by the relation known with accuracy to so...
Jerzy Swiatek
JUCS
2007
90views more  JUCS 2007»
11 years 9 months ago
Distance Learning and Student Satisfaction in Java Programming Courses
: Student satisfaction with distance learning is impacted by a variety of factors, including interaction with the instructor and the structure of the course. Satisfaction with dist...
Amber Settle, Chad Settle
JUCS
2007
118views more  JUCS 2007»
11 years 9 months ago
Satisfying Assignments of Random Boolean Constraint Satisfaction Problems: Clusters and Overlaps
: The distribution of overlaps of solutions of a random constraint satisfaction problem (CSP) is an indicator of the overall geometry of its solution space. For random k-SAT, nonri...
Gabriel Istrate
JUCS
2007
146views more  JUCS 2007»
11 years 9 months ago
Ontology and Grammar of the SOPHIE Choreography Conceptual Framework - An Ontological Model for Knowledge Management
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
Sinuhé Arroyo
JUCS
2007
122views more  JUCS 2007»
11 years 9 months ago
Efficient Access Methods for Temporal Interval Queries of Video Metadata
: Indexing video content is one of the most important problems in video databases. In this paper we present linear time and space algorithms for handling video metadata that repres...
Spyros Sioutas, Kostas Tsichlas, Bill Vassiliadis,...
JUCS
2007
80views more  JUCS 2007»
11 years 9 months ago
Higher-Order Lazy Functional Slicing
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
Nuno F. Rodrigues, Luís Soares Barbosa
JUCS
2007
112views more  JUCS 2007»
11 years 9 months ago
Internet Path Behavior Prediction via Data Mining: Conceptual Framework and Case Study
: In this paper we propose an application of data mining methods in the prediction of the availability and performance of Internet paths. We deploy a general decision-making method...
Leszek Borzemski
books