4418 search results - page 14 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
135
click to vote
ACSC
2000
IEEE
15 years 7 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
142
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The link structure of the Web graph is used in algorithms such as Kleinberg’s HITS and Google’s PageRank to assign authoritative weights to Web pages and thus rank them. Both ...
193
Voted
CIKM
2010
Springer
15 years 5 days ago
2010
Springer
The field of information retrieval still strives to develop models which allow semantic information to be integrated in the ranking process to improve performance in comparison to...
130
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
140
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
This paper discusses generating document structure from annotated media repositories in a domain-independent manner. This approaches the vision of a universal RDF browser. We star...