10038 search results - page 1786 / 2008 » Model Checking for Managers |
185
click to vote
DEXAW
2005
IEEE
16 years 1 days ago
2005
IEEE
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
187
click to vote
EEE
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper focuses on question selection methods for conversational recommender systems. We consider a scenario, where given an initial user query, the recommender system may ask ...
169
click to vote
EEE
2005
IEEE
16 years 1 days ago
2005
IEEE
For the composition of Web services non-functional characteristics are commonly considered criteria for finding and selecting available services. Our work focuses on a mechanism ...
114
click to vote
HICSS
2005
IEEE
16 years 1 days ago
2005
IEEE
Multiple studies in the information systems (IS) literature recognize that information technology (IT) investments may not yield immediate returns. Nevertheless, there has been a ...
155
click to vote
ICAC
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper presents a scalable and self-optimizing architecture for Quality-of-Service (QoS) provisioning in the Differentiated Services (DiffServ) framework. The proposed archite...