Sciweavers

3502 search results - page 472 / 701
» From Machine Learning to Machine Reasoning
Sort
View
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
SIGCOMM
2012
ACM
13 years 9 months ago
FairCloud: sharing the network in cloud computing
e network, similar to CPU and memory, is a critical and shared resource in the cloud. However, unlike other resources, it is neither shared proportionally to payment, nor do cl...
Lucian Popa 0002, Gautam Kumar, Mosharaf Chowdhury...
DAIS
2010
15 years 8 months ago
Distributed Fault Tolerant Controllers
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a c...
Leonardo Mostarda, Rudi Ball, Naranker Dulay
SODA
2008
ACM
93views Algorithms» more  SODA 2008»
15 years 8 months ago
Fast load balancing via bounded best response
It is known that the dynamics of best response in an environment of non-cooperative users may converge to a good solution when users play sequentially, but may cycle far away from...
Baruch Awerbuch, Yossi Azar, Rohit Khandekar
GECCO
2004
Springer
110views Optimization» more  GECCO 2004»
15 years 12 months ago
Using GP to Model Contextual Human Behavior
To create a realistic environment, some simulations require simulated agents with human behavior pattern. Creating such agents with realistic behavior can be a tedious and time con...
Hans Fernlund, Avelino J. Gonzalez