1034 search results - page 149 / 207 » Formalization of Web Design Patterns Using Ontologies |
100
click to vote
TVLSI
2008
15 years 14 days ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
115
Voted
SFM
2009
Springer
15 years 7 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
WWW
2010
ACM
15 years 7 months ago
2010
ACM
In an ideal world, interface design is the art and science of helping users accomplish tasks in a timely, efficient, and pleasurable manner. This paper studies the inverse situati...
103
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
The success of the Semantic Web crucially depends on the easy creation, integration and use of semantic data. For this purpose, we consider an integration scenario that defies cor...
185
click to vote
SIGMOD
2009
ACM
16 years 24 days ago
2009
ACM
Wikipedia is an example of the large, collaborative, semi-structured data sets emerging on the Web. Typically, before these data sets can be used, they must transformed into struc...