208 search results - page 22 / 42 » Consistency Checking for Component Reuse in Open Systems |
IJOE
2008
13 years 6 months ago
2008
: This paper presents a web-based laboratory for distance learners by incorporating simulation and hardware implementation into web-based e-learning systems. It presents a developm...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
LREC
2008
13 years 9 months ago
2008
Recently, there has been an emphasis on creating shared resources for natural language processing applications. This has resulted in the development of high-quality tools and data...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...