1260 search results - page 37 / 252 » From Domain Models to Architecture Frameworks |
201
click to vote
FORTE
2009
15 years 3 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 ...
167
click to vote
ECCV
2008
Springer
16 years 8 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...
155
click to vote
SACMAT
2009
ACM
16 years 20 days 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...
170
click to vote
MOBIQUITOUS
2005
IEEE
15 years 11 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...
148
click to vote
EMSOFT
2004
Springer
15 years 11 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 ...