10038 search results - page 1824 / 2008 » Model Checking for Managers |
138
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
The highly variable and dynamic word usage in social media presents serious challenges for both research and those commercial applications that are geared towards blogs or other u...
154
click to vote
COMPLEX
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The aim of a transportation system is to enable the movement of goods or persons between any two locations with the highest possible efficiency. This simple principle ins...
119
click to vote
EMNETS
2007
15 years 8 months ago
2007
Currently, there is a lack of stand-alone geo-monitoring systems for harsh environments that are easy to configure, deploy and manage, while at the same time adhering to science g...
126
click to vote
ACMIDC
2010
15 years 8 months ago
2010
New technologies have enabled students to become active participants in computational simulations of dynamic and complex systems (called Participatory Simulations), providing a &q...
149
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
In this paper we introduce a modular, highly flexible, opensource environment for data generation. Using an existing graphical data flow tool, the user can combine various types...