Sciweavers

1107 search results - page 177 / 222
» Variability Management on Behavioral Models
Sort
View
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
15 years 8 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
ROMAN
2007
IEEE
179views Robotics» more  ROMAN 2007»
15 years 7 months ago
A Bayesian Network Framework for Vision Based Semantic Scene Understanding
— For a robot to understand a scene, we have to infer and extract meaningful information from vision sensor data. Since scene understanding consists in recognizing several visual...
Seung-Bin Im, Keum-Sung Hwang, Sung-Bae Clio
ATAL
2005
Springer
15 years 7 months ago
Bumping strategies for the multiagent agreement problem
We introduce the Multiagent Agreement Problem (MAP) to represent a class of multiagent scheduling problems. MAP is based on the Distributed Constraint Reasoning (DCR) paradigm and...
Pragnesh Jay Modi, Manuela M. Veloso
IPSN
2005
Springer
15 years 6 months ago
Beyond event handlers: programming wireless sensors with attributed state machines
— Event-driven programming is a popular paradigm for programming sensor nodes. It is based on the specification of actions (also known as event handlers) which are triggered by ...
Oliver Kasten, Kay Römer
MIDDLEWARE
2005
Springer
15 years 6 months ago
Functional and architectural adaptation in pervasive computing environments
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...
Nanjangud C. Narendra, Umesh Bellur, S. K. Nandy, ...