1463 search results - page 213 / 293 » Adaptive Focused Crawling |
SAS
1994
Springer
14 years 1 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
CAISE
2009
Springer
14 years 28 days ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
CSFW
2010
IEEE
14 years 25 days ago
2010
IEEE
—Anonymous communication protocols must achieve two seemingly contradictory goals: privacy (informally, they must guarantee the anonymity of the parties that send/receive informa...
DOCENG
2009
ACM
14 years 24 days ago
2009
ACM
We review the literature on automatic document formatting with an emphasis on recent work in the field. One common way to frame document formatting is as a constrained optimizatio...
AGILEDC
2004
IEEE
14 years 20 days ago
2004
IEEE
Agile development practices respect tacit knowledge, make communication more effective, and thus foster the knowledge creation process. However the current agile methods, like XP,...