5639 search results - page 970 / 1128 » Timed Abstract Non-interference |
106
click to vote
SIMPRA
2010
15 years 9 days ago
2010
Abstract — We apply finite state-dependent queueing networks to model mobility in mobile communication systems. Although they have been successfully used in the past to model ve...
155
click to vote
SMR
2010
15 years 9 days ago
2010
Usually, for a particular business process different variants exist. Each of them constitutes an adjustment of a reference process model to specific requirements building the proc...
142
click to vote
SOCINFO
2010
15 years 9 days ago
2010
Abstract. Online tools for collaboration and social platforms have become omnipresent in Web-based environments. Interests and skills of people evolve over time depending in perfor...
122
Voted
SOCO
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
124
click to vote
TCS
2010
15 years 8 days ago
2010
Abstract. We study a general class of non-cooperative games coming from combinatorial covering and facility location problems. A game for k players is based on an integer programmi...