14056 search results - page 417 / 2812 » Consistency in Model Integration |
134
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
In this paper we address the problem of combining software components with different and possibly incompatible legal licenses to create a software application that does not viola...
180
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
187
click to vote
ISARCS
2010
15 years 10 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
179
click to vote
AIIDE
2008
15 years 9 months ago
2008
Computer aided interactive drama has been widely applied for entertainment and pedagogy. Most existing approaches for authoring interactive drama use either story-centric or chara...
164
click to vote
DC
2001
15 years 8 months ago
2001
This paper provides a report of work in progress to implement integrated access to multiple digital collections that are described using a variety of metadata formats. Using the e...