3045 search results - page 428 / 609 » Formal Approaches to Software Architecture |
197
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
171
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
211
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
203
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
In this paper, we survey the models and approaches applied to the middleware services of pervasive computing environments. Architectural styles and patterns introduced in the doma...
157
click to vote
CIKM
2004
Springer
16 years 1 days ago
2004
Springer
Endeca’s approach to processing search queries in a distributed computing environment is predicated on concerns of correctness, scalability, and flexibility in deployment. Using...