Sciweavers

2851 search results - page 462 / 571
» Operationalizing Conceptual Models Based on a Model of Depen...
Sort
View
INFSOF
2002
72views more  INFSOF 2002»
15 years 5 months ago
Multi-item auctions for automatic negotiation
Available resources can often be limited with regard to the number of demands. In this paper we propose an approach for solving this problem which consists of using the mechanisms...
Houssein Benameur, Brahim Chaib-draa, Peter G. Kro...
TC
2002
15 years 5 months ago
Dynamic Power Management for Nonstationary Service Requests
Dynamic Power Management (DPM) is a design methodology aiming at reducing power consumption of electronic systems by performing selective shutdown of idle system resources. The eff...
Eui-Young Chung, Luca Benini, Alessandro Bogliolo,...
PVLDB
2008
137views more  PVLDB 2008»
15 years 5 months ago
EasyTicket: a ticket routing recommendation engine for enterprise problem resolution
Managing problem tickets is a key issue in the IT services industry. A large service provider may handle thousands of problem tickets from its customer on daily basis. The efficie...
Qihong Shao, Yi Chen, Shu Tao, Xifeng Yan, Nikos A...
SSIRI
2010
15 years 4 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
AMCS
2011
341views Mathematics» more  AMCS 2011»
15 years 29 days ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica