Sciweavers

3880 search results - page 437 / 776
» Evaluation of Hypermedia Application Development and Managem...
Sort
View
SIGMOD
2011
ACM
222views Database» more  SIGMOD 2011»
14 years 9 months ago
Data generation using declarative constraints
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
Arvind Arasu, Raghav Kaushik, Jian Li
BIRTHDAY
2007
Springer
15 years 10 months ago
Deriving Specifications for Systems That Are Connected to the Physical World
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
RTAS
1999
IEEE
15 years 11 months ago
MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
Ming Xiong, Krithi Ramamritham, Jayant R. Haritsa,...
IJCAI
2003
15 years 8 months ago
IKUM: An Integrated Web Personalization Platform Based on Content Structures and User Behavior
Web personalization is the process of customizing a web site to the needs of each specific user or set of users, taking advantage of the knowledge acquired through the analysis of ...
Magdalini Eirinaki, Joannis Vlachakis, Sarabjot S....
ISSRE
2007
IEEE
15 years 8 months ago
Data Mining Techniques for Building Fault-proneness Models in Telecom Java Software
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
Erik Arisholm, Lionel C. Briand, Magnus Fuglerud