2520 search results - page 503 / 504 » Model-checking behavioral programs |
EUSFLAT
2009
13 years 3 months ago
2009
In this paper a fuzzy model based on Adaptive Neuro-Fuzzy Inference System (ANFIS) is introduced for calculating the level of risk in managerial problems. In this model, affecting ...
ACSAC
2010
IEEE
13 years 3 months ago
2010
IEEE
Twitter is a new web application playing dual roles of online social networking and micro-blogging. Users communicate with each other by publishing text-based posts. The popularit...
ECEASST
2010
13 years 3 months ago
2010
: The decision of using existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integra...
CORR
2011
Springer
12 years 9 months ago
2011
Springer
Despite recent advances in uncovering the quantitative features of stationary human activity patterns, many applications, from pandemic prediction to emergency response, require a...
APSEC
2010
IEEE
12 years 9 months ago
2010
IEEE
There is an emergence of cloud application platforms such as Microsoft’s Azure, Google’s App Engine and Amazon’s EC2/SimpleDB/S3. Startups and Enterprise alike, lured by the...