127
Voted
PAAMS
2015
Springer
9 years 11 months ago
2015
Springer
abstract High Frequency Trading (HFT) broadly refers to trading strategies involving fast submission, cancelation and revision of orders in a Continuous Double Auction (CDA). Often...
87
Voted
PAAMS
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. The environment, as a space shared between agents, is a key component of multiagent systems (MAS). Depending on systems, this space may integrate physical, communication ...
83
Voted
PAAMS
2015
Springer
9 years 11 months ago
2015
Springer
The objectives of this research are to further investigate the foundations for novel SMT and SAT-based bounded model checking (BMC) algorithms for real-time and multiagent systems...
101
Voted
P2P
2015
IEEE
9 years 11 months ago
2015
IEEE
—Online social networks have emerged as a main tool to communicate in the Internet. While centralized solutions are prone to censorship, privacy violations and unwanted marketing...
172
Voted
P2P
2015
IEEE
9 years 11 months ago
2015
IEEE
— Peer-to-peer live streaming systems involve complex engineering and are difficult to test and to deploy. To cut through the complexity, we advocate such systems be by composin...