304 search results - page 47 / 61 » Safe futures for Java |
WSC
2007
13 years 10 months ago
2007
In this paper, we discuss the design and use of an objectoriented framework for simulating full truckload (FTL) networks. We present a context for how the framework can be used th...
NAACL
2003
13 years 9 months ago
2003
WordFreak is a natural language annotation tool that has been designed to be easy to extend to new domains and tasks. Specifically, a plug-in architecture has been developed whic...
SERP
2003
13 years 9 months ago
2003
It’s difficult for administrators to retrieve information from reports that are generated by different people with different computer platforms, word processors, and interpretat...
MONET
2002
13 years 7 months ago
2002
Mobile commerce (m-commerce) refers to an ability to conduct wireless commerce transactions using mobile applications in mobile devices. M-commerce applications can range from as s...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...