2253 search results - page 218 / 451 » An Approach to Specifying Software Frameworks |
108
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Inter-component communication has received considerable attention by robotic software architects as various frameworks and toolkits have matured. While the resulting pl...
131
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
123
Voted
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
122
Voted
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
166
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...