2836 search results - page 384 / 568 » Model Checking for Software Architectures |
230
click to vote
DOLAP
2005
ACM
15 years 8 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
187
click to vote
ICWE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...
208
click to vote
WORDS
2005
IEEE
16 years 9 days ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
209
click to vote
VAMOS
2007
Springer
16 years 25 days ago
2007
Springer
Variability modeling is at the heart of product line engineering. Variability models entail features and architectural elements, technical customization aspects, sales and marketi...
181
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...