2339 search results - page 389 / 468 » Models and Tools for Mulan Applications |
131
click to vote
WSC
1998
15 years 7 months ago
1998
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...
182
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
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...
171
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
— The increasing popularity of social networks, such as Facebook and Orkut, has raised several privacy concerns. Traditional ways of safeguarding privacy of personal information ...
165
click to vote
ECEASST
2008
15 years 6 months ago
2008
: 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...
176
click to vote
ENTCS
2008
15 years 6 months ago
2008
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...