3914 search results - page 571 / 783 » Automating SLA modeling |
161
click to vote
KDD
2001
ACM
16 years 7 months ago
2001
ACM
In this paper, a multimedia data mining framework for discovering important but previously unknown knowledge such as vehicle identification, traffic flow, and the spatio-temporal ...
163
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...
131
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Palpation of tissue and organs during a surgical procedure provides clinicians with valuable information for diagnosis and surgical planning. In robot-assisted minimally invasi...
141
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
173
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...