271 search results - page 29 / 55 » An Integrated Approach for Studying Architectural Evolution |
NOTERE
2010
13 years 3 months ago
2010
Finding relevant information on the Web can be a complex task for most of the users. Although Web search applications are improving, they still need to be more intelligent to adapt...
CBSE
2006
Springer
14 years 11 days ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
MEMOCODE
2008
IEEE
14 years 3 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
ICOODB
2010
13 years 6 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
Security requirements strongly influence the architectural design of complex IT systems in a similar way as other non-functional requirements. Both security engineering as well a...