1260 search results - page 37 / 252 » From Domain Models to Architecture Frameworks |
132
click to vote
FORTE
2009
14 years 9 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
108
click to vote
ECCV
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Building visual recognition models that adapt across different domains is a challenging task for computer vision. While feature-learning machines in the form of hierarchi...
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
108
click to vote
MOBIQUITOUS
2005
IEEE
15 years 5 months ago
2005
IEEE
A significant deterrent to the ability to connect in a spontaneous manner in cross-enterprise collaborative applications is the difficulty in users from different domains being ab...
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...