704 search results - page 112 / 141 » Semantic Structure Content for Dynamic Web Pages |
144
Voted
CN
1999
15 years 3 months ago
1999
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...
126
Voted
EUROSYS
2008
ACM
16 years 16 days ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
133
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
143
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
124
Voted
ICWS
2003
IEEE
15 years 4 months ago
2003
IEEE
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...