Sciweavers

2055 search results - page 339 / 411
» Generic Model Refactorings
Sort
View
IPPS
2009
IEEE
15 years 8 months ago
A fusion-based approach for tolerating faults in finite state machines
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a ...
Vinit A. Ogale, Bharath Balasubramanian, Vijay K. ...
103
Voted
ATAL
2009
Springer
15 years 8 months ago
Bounded practical social reasoning in the ESB framework
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
Iain Wallace, Michael Rovatsos
ATC
2009
Springer
15 years 8 months ago
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-P...
OOPSLA
2009
Springer
15 years 8 months ago
The design of a task parallel library
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
PSIVT
2009
Springer
139views Multimedia» more  PSIVT 2009»
15 years 8 months ago
Recognizing Multiple Objects via Regression Incorporating the Co-occurrence of Categories
Abstract. Most previous methods for generic object recognition explicitly or implicitly assume that an image contains objects from a single category, although objects from multiple...
Takahiro Okabe, Yuhi Kondo, Kris M. Kitani, Yoichi...