373 search results - page 68 / 75 » Model Checking Techniques applied to the design of Web Servi... |
89
Voted
SAC
2005
ACM
15 years 3 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
MOBILITY
2009
ACM
15 years 2 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
113
click to vote
MSWIM
2009
ACM
15 years 4 months ago
2009
ACM
Fairness in multihop ad hoc networks has received considerable attention in the literature. Many schemes have been proposed, which attempt to compute the “optimal” bit rates o...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
Large-scale text categorization is an important research topic for Web data mining. One of the challenges in large-scale text categorization is how to reduce the amount of human e...
BMCBI
2010
14 years 9 months ago
2010
Background: High throughput sequencing has become an increasingly important tool for biological research. However, the existing software systems for managing and processing these ...