2266 search results - page 298 / 454 » A generic component model for building systems software |
180
click to vote
CIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
140
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
161
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The traditional constraints on software development and architectures in the consumer electronics domain, including the low cost of manufacturing of a product, support for familie...
179
click to vote
DIMVA
2009
15 years 7 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
266
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Non-rigid object detection and articulated pose estimation
are two related and challenging problems in computer
vision. Numerous models have been proposed over the
years and oft...