1937 search results - page 262 / 388 » Starting B Specifications from Use Cases |
162
click to vote
TCS
2002
15 years 6 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
172
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Malicious mobile phone worms spread between devices via short-range Bluetooth contacts, similar to the propagation of human and other biological viruses. Recent work has employed m...
158
click to vote
ERLANG
2008
ACM
15 years 8 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...
173
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
The performance of Wireless Local Area Networks (WLANs) often suffers from link-layer frame losses caused by noise, interference, multipath, attenuation, and user mobility. We obs...
191
click to vote
AAAI
2007
15 years 8 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...