10038 search results - page 1928 / 2008 » Model Checking for Managers |
98
Voted
COMCOM
2010
14 years 11 months ago
2010
Understanding the relationship between queueing delays and link utilization for general traffic conditions is an important open problem in networking research. Difficulties in und...
137
click to vote
TMC
2008
14 years 11 months ago
2008
Continued advances in mobile networks and positioning technologies have created a strong market push for location-based applications. Examples include location-aware emergency resp...
113
click to vote
JUCS
2010
14 years 11 months ago
2010
Abstract: This paper addresses the problem of expressing preferences among nonfunctional properties of services in a Web service architecture. In such a context, semantic and non-f...
124
click to vote
KDD
2010
ACM
14 years 11 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
113
click to vote
ACL
2010
14 years 10 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...