5465 search results - page 93 / 1093 » Assigning Types to Processes |
SIGIR
2006
ACM
15 years 3 months ago
2006
ACM
We consider the following full-text search autocompletion feature. Imagine a user of a search engine typing a query. Then with every letter being typed, we would like an instant d...
104
click to vote
HICSS
2000
IEEE
15 years 2 months ago
2000
IEEE
Most major airlines decide to take new strategies for the competition in the air cargo industry. They are concerned with assigning cargo over flights in creative ways. This paper ...
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Piecemeal development and support for organisational processes may lead to problems: first, it is difficult to know which processes should be supported, and, second, it ...
TLCA
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
ERLANG
2008
ACM
14 years 11 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...