Sciweavers

878 search results - page 58 / 176
» Choice and development
Sort
View
CCS
2010
ACM
15 years 7 months ago
Apex: extending Android permission model and enforcement with user-defined runtime constraints
Android is the first mass-produced consumer-market open source mobile platform that allows developers to easily create applications and users to readily install them. However, giv...
Mohammad Nauman, Sohail Khan, Xinwen Zhang
AAAI
2007
15 years 6 months ago
Logic for Automated Mechanism Design - A Progress Report
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
Michael Wooldridge, Thomas Ågotnes, Paul E. ...
LISA
2007
15 years 6 months ago
Network Patterns in Cfengine and Scalable Data Aggregation
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...
Mark Burgess, Matthew Disney, Rolf Stadler
WSC
2007
15 years 6 months ago
Predicting the impact on business performance of enhanced information system using business process simulation
The estimation of the impact on performance in business process (BP) by introducing an information system (IS) is an important practical problem in investment appraisal. This pape...
Yifei Tan, Soemon Takakuwa
WSC
2008
15 years 6 months ago
Simulating inventory systems with forecast based policy updating
This paper presents an object oriented framework that facilitates modeling inventory systems whose policy updating is driven by forecast estimates. In an inventory system, the for...
Manuel D. Rossetti, Vijith Varghese, Mehmet Miman,...