298 search results - page 44 / 60 » UPPAAL - Now, Next, and Future |
FLAIRS
2010
13 years 7 months ago
2010
How could computer games be used to augment training for fighter pilots? This paper is aimed at providing one answer to this research question. Three current methods of training f...
SECRYPT
2010
13 years 7 months ago
2010
Nanotechnology is enabling the development of devices in a scale ranging from one to a few one hundred nanometers. Nanonetworks, i.e., the interconnection of nano-scale devices, a...
ACMIDC
2009
13 years 7 months ago
2009
While supporting family communication has traditionally been a domain of interest for interaction designers, few research initiatives have explicitly investigated remote synchrono...
DEBU
2010
13 years 7 months ago
2010
Developing high-quality information extraction (IE) rules, or extractors, is an iterative and primarily manual process, extremely time consuming, and error prone. In each iteratio...
MAGS
2010
13 years 4 months ago
2010
Designing efficient bidding strategies for sequential auctions remains an important, open problem area in agent-mediated electronic markets. In existing literature, a variety of bi...