4418 search results - page 134 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
123
click to vote
ET
1998
15 years 4 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
160
click to vote
DATESO
2004
15 years 5 months ago
2004
The XML language have been becoming de-facto a standard for representation of heterogeneous data in the Internet. From database point of view, XML is a new approach to data modelli...
146
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
The traditional strategy performed by Information Retrieval (IR) systems is ranked keyword search: For a given query, a list of documents, ordered by relevance, is returned. Releva...
131
click to vote
SWAP
2008
15 years 5 months ago
2008
The traditional strategy performed by Information Retrieval (IR) systems is ranked keyword search: for a given query, a list of documents, ordered by relevance, is returned. Releva...
138
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...