Sciweavers

1984 search results - page 257 / 397
» The colourful feasibility problem
Sort
View
EMISAIJ
2010
15 years 1 months ago
The Proviado Access Control Model for Business Process Monitoring Components
Integrated process support is highly desirable in environments where data related to a particular business process are scattered over distributed, heterogeneous information system...
Manfred Reichert, Sarita Bassil, Ralph Bobrik, Tho...
JSC
2010
100views more  JSC 2010»
15 years 1 months ago
An invariant-based approach to the verification of asynchronous parameterized networks
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
Igor V. Konnov, Vladimir A. Zakharov
SOCIALCOM
2010
15 years 1 months ago
The Swarm Model in Open Source Software Developer Communities
Most of the current swarm model studies and applications try to mimic the collective behaviors of social animals, such as birds and ants. The studies seek to solve tasks similar to...
Xiaohui Cui, Justin M. Beaver, Everett Stiles, Lau...
TCOM
2010
162views more  TCOM 2010»
15 years 1 months ago
Power Allocation in MMSE Relaying over Frequency-Selective Rayleigh Fading Channels
Abstract--This paper develops an amplify-and-forward relaying scheme for multiuser wireless cooperative networks under frequency-selective block-fading. Single-carrier frequency di...
Tung T. Pham, Ha H. Nguyen, Hoang Duong Tuan
COR
2011
15 years 26 days ago
Online scheduling of weighted equal-length jobs with hard deadlines on parallel machines
We consider the problem of scheduling a maximum profit selection of equal length jobs on m identical machines. Jobs arrive online over time and the goal is to determine a non-pre...
Sven Oliver Krumke, Alfred Taudes, Stephan Westpha...