1484 search results - page 41 / 297 » A Coordination Model for Interactive Components |
IFM
1999
Springer
15 years 3 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
105
click to vote
CSMR
2007
IEEE
15 years 5 months ago
2007
IEEE
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
96
Voted
ECCV
2010
Springer
14 years 11 months ago
2010
Springer
Tracking multiple objects is important in many application domains. We propose a novel algorithm for multi-object tracking that is capable of working under very challenging conditi...
ICSE
2003
IEEE-ACM
15 years 4 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
TOOLS
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...