6574 search results - page 996 / 1315 » Current Signatures: Application |
162
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
184
click to vote
SRDS
1998
IEEE
15 years 11 months ago
1998
IEEE
If a groupware system is to be effectively used, especially over a wide-are network such as the Internet, where the quality of networking and computing resources are unpredictable...
157
click to vote
CHI
1998
ACM
15 years 11 months ago
1998
ACM
Current internet applications leave our physical presence and our real-world environment behind. This paper describes the development of several simple, inexpensive, internet-cont...
182
click to vote
HT
1998
ACM
15 years 11 months ago
1998
ACM
The historical development of hypermedia systems can be rized as a series of successive abstractions of functionality away from the "core" hypermedia server, often resul...
215
click to vote
CP
1998
Springer
15 years 11 months ago
1998
Springer
We use a local search method we term Large Neighbourhood Search (LNS) for solving vehicle routing problems. LNS meshes well with constraint programming technology and is analogous...