1054 search results - page 202 / 211 » group 2005 |
154
click to vote
SIGADA
2005
Springer
16 years 1 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
177
click to vote
UM
2005
Springer
16 years 23 hour ago
2005
Springer
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...
165
click to vote
VLDB
2005
ACM
16 years 22 hour ago
2005
ACM
Many database applications have the emerging need to support fuzzy queries that ask for strings that are similar to a given string, such as “name similar to smith” and “tele...
220
click to vote
VSTTE
2005
Springer
16 years 22 hour ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
181
Voted
ATAL
2005
Springer
16 years 14 hour ago
2005
Springer
Peer-to-peer (P2P) systems enable users to share resources in a networked environment without worrying about issues such as scalability and load balancing. Unlike exchange of good...