2088 search results - page 309 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
159
click to vote
KBSE
2007
IEEE
16 years 17 days ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
147
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
205
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
157
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
205
click to vote
ASE
2006
15 years 6 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...