939 search results - page 147 / 188 » Semantic Abstraction and Quantum Computation |
APSEC
2005
IEEE
14 years 3 months ago
2005
IEEE
Web Services together with Service-Oriented Architectures (SOA) are playing an important role in the future of distributed computing, significantly impacting software development ...
CIBCB
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract-- The advance of high-throughput experimental technologies poses continuous challenges to computational data analysis in functional and comparative genomics studies. Gene ...
BIRTHDAY
2005
Springer
13 years 12 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
DSVIS
2008
Springer
13 years 11 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
FORTE
2010
13 years 11 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...