4139 search results - page 564 / 828 » Designing and Implementing Combinator Languages |
124
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
136
click to vote
WSC
2004
15 years 6 months ago
2004
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
143
click to vote
WEBNET
2000
15 years 6 months ago
2000
: It is always a challenge to present Web applications at a facility with no Internet connection. Traditional presentation methods such as transparencies or slides are inadequate f...
130
Voted
CASCON
1996
15 years 6 months ago
1996
The lack of an appropriate external data model is one of the reasons for the dearth of eective network management applications. Many network management computations over Managemen...
135
click to vote
COLING
1996
15 years 6 months ago
1996
The paper presents a consolidated set of principles of cooperative spoken human-machine dialogue which have the potential tor being turned into practically applicable design guide...