7890 search results - page 256 / 1578 » The MathSAT 3 System |
219
click to vote
ISCAPDCS
2003
15 years 8 months ago
2003
All existing lookup algorithms in structured peerto-peer (P2P) systems assume that all peers are uniform in resources (e.g., network bandwidth, storage and CPU). Messages are rout...
177
click to vote
WSC
2004
15 years 8 months ago
2004
HDPS is a practical system for designing modeling paradigms, creating hierarchal model definitions, and evaluating multi-paradigm models - particularly in business and finance. HD...
140
click to vote
DSS
2007
15 years 6 months ago
2007
Process-aware information systems are typically driven by process models capturing an idealized view of the actual processes. For example, most process models assume that planned ...
164
click to vote
JUCS
2006
15 years 6 months ago
2006
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
130
click to vote
CN
1998
15 years 6 months ago
1998
This paper presents a Guided tour system for the WWW, called Ariadne, which implements the ideas of trails and guided tours, originating from the hypertext field. Ariadne appears ...