2232 search results - page 263 / 447 » Has Computational Linguistics Become More Applied |
CHARME
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
SAC
2002
ACM
13 years 9 months ago
2002
ACM
We describe a resource discovery and communication system designed for security and privacy. All objects in the system, e.g., appliances, wearable gadgets, software agents, and us...
TAMC
2009
Springer
14 years 3 months ago
2009
Springer
The retention of communication data has recently attracted much public interest, mostly because of the possibility of its misuse. In this paper, we present protocols that address ...
ICCS
2009
Springer
13 years 7 months ago
2009
Springer
Distributed parallel applications often run for hours or even days before arriving to a result. In the case of such long-running programs, the initial requirements could change aft...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
Web-based collaboration systems typically require dynamic and context-based interactions between people and services. To support such complex interaction scenarios, we introduce a...