10038 search results - page 1871 / 2008 » Model Checking for Managers |
170
Voted
ADAEUROPE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract: This paper proposes a strategy to manage the schedulability of realtime component-based applications that is fully compatible with the concept of component viewed as a re...
146
click to vote
GI
2010
Springer
15 years 2 months ago
2010
Springer
: In several industry scenarios, it is often the case that an existing reference workflow has to be adapted according to specific context factors, which might even change at runtim...
166
click to vote
HAPTICS
2010
IEEE
15 years 2 months ago
2010
IEEE
Interactions with virtual worlds using the sense of touch, called haptic rendering, have natural applications in many domains such as health or industry. For an accurate and realis...
172
click to vote
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
In a multi-developer project, team collaboration is essential for the success of the project. When team members are spread across different locations, informal interactions are lo...
157
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Team collaboration is essential for the success of multi-developer projects. When team members are spread across different locations, individual awareness of the activity of other...