Sciweavers

1925 search results - page 213 / 385
» Theory research at Google
Sort
View
ICAIL
2003
ACM
15 years 11 months ago
Logic-Based Regulation Compliance-Assistance
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
Shawn Kerrigan, Kincho H. Law
ICCS
2009
Springer
15 years 11 months ago
GRID Resource Searching on the GridSim Simulator
Nowadays, the Grid is the focus of multiple researches. Our work is centered on Resource Management for Grids as it is an opened and current research area. Decentralized, scalable ...
Antonia Gallardo, Luis Díaz de Cerio, Roc M...
HICSS
1999
IEEE
119views Biometrics» more  HICSS 1999»
15 years 10 months ago
Websites that Satisfy Users: A Theoretical Framework for Web User Interface Design and Evaluation
With the fast development and increasing use of the World Wide Web as both an information seeking and an electronic commerce tool, web usability studies grow in importance. While ...
Ping Zhang 0002, Ruth V. Small, Gisela M. von Dran...
ICSE
1998
IEEE-ACM
15 years 10 months ago
What You See Is What You Test: A Methodology for Testing Form-Based Visual Programs
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...
Gregg Rothermel, Lixin Li, Christopher DuPuis, Mar...
AC
1992
Springer
15 years 10 months ago
Logic and Databases
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
Johann Eder