1760 search results - page 286 / 352 » Program Analysis Using Weighted Pushdown Systems |
UM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
Modern mobile devices are multi-homed with WLAN and WWAN communication interfaces. In a community of nodes with such multihomed devices — locally inter-connected via high-speed ...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The usefulness of parameterized algorithmics has often depended on what Niedermeier has called, "the art of problem parameterization." In this paper we introduce and expl...
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
RULEML
2010
Springer
13 years 8 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...