2152 search results - page 270 / 431 » An Abstract Account of Composition |
180
click to vote
TACAS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
158
click to vote
TGC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
163
click to vote
CIBCB
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract–Protein families can be used to reconstruct evolutionary histories of organisms. The accuracy of protein assignment to such families is critical for the success of such ...
185
click to vote
MOBIDE
2006
ACM
16 years 13 days ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
172
click to vote
ICAC
2005
IEEE
16 years 2 days ago
2005
IEEE
Track 2 - Modeling and Abstraction of Services Process Session Chair: Dynamic Service Invocation Control in Service Composition Environments (SCC2010-2004) ...........................