1992 search results - page 387 / 399 » Model Based Testing with Labelled Transition Systems |
ICDT
2009
ACM
14 years 8 months ago
2009
ACM
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
MOBIQUITOUS
2008
IEEE
14 years 1 months ago
2008
IEEE
Mobile ad hoc networks can be leveraged to provide ubiquitous services capable of acquiring, processing, and sharing real-time information from the physical world. Unlike Internet...
VRCAI
2004
ACM
14 years 24 days ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...
PETRA
2009
ACM
14 years 1 months ago
2009
ACM
In Italy, the service of Pediatric oncology is very centralized and granted by high-specialized medical structures. In the Italian Regione Campania there are just few of such medi...
WSDM
2010
ACM
14 years 4 months ago
2010
ACM
Sponsored search is a multi-billion dollar business that generates most of the revenue for search engines. Predicting the probability that users click on ads is crucial to sponsor...