2088 search results - page 326 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
206
click to vote
MODELS
2009
Springer
16 years 22 days ago
2009
Springer
Solution-driven product line engineering is a project business where products are created for each customer individually. Although reuse of results from former projects is widely ...
194
click to vote
ARGMAS
2004
Springer
15 years 11 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
161
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
160
click to vote
SPW
2000
Springer
15 years 9 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
139
click to vote
OAS
2003
15 years 7 months ago
2003
Current Web services standards enable publishing service descriptions and finding services by matching requested and published descriptions based on syntactic criteria such as me...