4290 search results - page 690 / 858 » Formal Approaches to Teamwork |
165
click to vote
GPCE
2007
Springer
16 years 20 days ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
151
click to vote
GTTSE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
150
click to vote
HYBRID
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
160
click to vote
ICDT
2007
ACM
16 years 20 days ago
2007
ACM
Abstract. In many cases, users may want to consider incomplete answers to their queries. Often, however, there is an overwhelming number of such answers, even if subsumed answers a...
164
click to vote
ICDT
2007
ACM
16 years 20 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....