Sciweavers

2339 search results - page 389 / 468
» Models and Tools for Mulan Applications
Sort
View
WSC
1998
15 years 7 months ago
Simulation Applied to Theme Park Management
This paper describes the application of computer simulation to a new and interesting problem area, the management of major theme parks. The operation and management of theme parks...
Roland R. Mielke, Adham Zahralddin, Damanjit Padam...
CCS
2010
ACM
15 years 6 months ago
A privacy recommendation wizard for users of social networking sites
Privacy is a huge problem for users of social networking sites. While sites like Facebook allow individual users to personalize fine-grained privacy settings, this has proven quit...
Lujun Fang, Heedo Kim, Kristen LeFevre, Aaron Tami
ICDE
2010
IEEE
241views Database» more  ICDE 2010»
15 years 6 months ago
Privometer: Privacy protection in social networks
— The increasing popularity of social networks, such as Facebook and Orkut, has raised several privacy concerns. Traditional ways of safeguarding privacy of personal information ...
Nilothpal Talukder, Mourad Ouzzani, Ahmed K. Elmag...
ECEASST
2008
110views more  ECEASST 2008»
15 years 6 months ago
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
Enrico Biermann, Tony Modica
ENTCS
2008
132views more  ENTCS 2008»
15 years 6 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski