JUCS
2007
13 years 11 months ago
2007
JUCS
2007
13 years 11 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
JUCS
2007
13 years 11 months ago
2007
: 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...
JUCS
2007
13 years 11 months ago
2007
: 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...
JUCS
2007
13 years 11 months ago
2007
: 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...
JUCS
2007
13 years 11 months ago
2007
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
JUCS
2007
13 years 11 months ago
2007
: 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...
JUCS
2007
13 years 11 months ago
2007
: 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...
JUCS
2007
13 years 11 months ago
2007
JUCS
2007
13 years 11 months ago
2007
: 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...