10038 search results - page 1786 / 2008 » Model Checking for Managers |
150
Voted
DEXAW
2005
IEEE
15 years 10 months 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 ...
152
click to vote
EEE
2005
IEEE
15 years 10 months 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 ...
142
click to vote
EEE
2005
IEEE
15 years 10 months 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 ...
HICSS
2005
IEEE
15 years 10 months 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 ...
132
click to vote
ICAC
2005
IEEE
15 years 10 months 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...