1523 search results - page 238 / 305 » Partially ordered secretaries |
100
click to vote
EDOC
2008
IEEE
15 years 2 months ago
2008
IEEE
The service-oriented architectural style is widely perceived today. However, service orientation is a very general concept and its application in real-life situations is somewhat ...
102
Voted
EKAW
2008
Springer
15 years 2 months ago
2008
Springer
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators' models are reused. We address this design problem in the set...
91
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
86
Voted
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
This paper concerns versioning services over Semantic Web (SW) repositories. We propose a novel storage index (based on partial orders), called POI, that exploits the fact that RDF...
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...