Sciweavers

1990 search results - page 241 / 398
» services 2010
Sort
View
DEXA
2010
Springer
186views Database» more  DEXA 2010»
15 years 4 months ago
An Open Platform for Business Process Modeling and Verification
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...
ICASSP
2010
IEEE
15 years 4 months ago
Outage-optimal transmission in multiuser-MIMO Kronecker channels
In this work, we look at single user and multiuser Multiple-Input Multiple-Output (MIMO) beamforming networks with Channel Distribution Information (CDI). CDI does not need to be ...
Sagnik Ghosh, Bhaskar D. Rao, James R. Zeidler
ICA3PP
2010
Springer
15 years 4 months ago
Checkpointing and Migration of Communication Channels in Heterogeneous Grid Environments
Abstract. A grid checkpointing service providing migration and transparent fault tolerance is important for distributed and parallel applications executed in heterogeneous grids. I...
John Mehnert-Spahn, Michael Schoettner
CORR
2010
Springer
131views Education» more  CORR 2010»
15 years 4 months ago
Detecting Botnets Through Log Correlation
Botnets, which consist of thousands of compromised machines, can cause significant threats to other systems by launching Distributed Denial of Service (DDoS) attacks, keylogging, a...
Yousof Al-Hammadi, Uwe Aickelin
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 4 months ago
Profile Popularity in a Business-oriented Online Social Network
Abstract--Analysing Online Social Networks (OSN), voluntarily maintained and automatically exploitable databases of electronic personal information, promises a wealth of insight in...
Thorsten Strufe