3011 search results - page 253 / 603 » Generating XML Based Specifications of Information Systems |
IFE
2002
13 years 9 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
CAISE
2000
Springer
14 years 1 months ago
2000
Springer
With the emergence of the Internet, collaborative computing has become more feasible than ever. Organizations can share valuable information among each other. However, certain user...
ICECCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
SIGIR
2002
ACM
13 years 9 months ago
2002
ACM
This paper follows a formal approach to information retrieval based on statistical language models. By introducing some simple reformulations of the basic language modeling approa...
EDO
2000
Springer
14 years 28 days ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...