11017 search results - page 90 / 2204 » Closure Systems and their Structure |
NAR
2008
13 years 8 months ago
2008
TarO (http://www.compbio.dundee.ac.uk/taro) offers a single point of reference for key bioinformatics analyses relevant to selecting proteins or domains for study by structural bi...
ICPADS
2008
IEEE
14 years 2 months ago
2008
IEEE
In order to ease the development and maintenance of more complex P2P applications, which combine multiple P2P functionality (e.g. streaming and dependable storage), we suggest to ...
ISPW
2005
IEEE
14 years 1 months ago
2005
IEEE
: We have developed a “WBS(Work Breakdown Structure) process model” for a business application software development project. We have also developed a project management system ...
POPL
2000
ACM
14 years 10 days ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
VMCAI
2012
Springer
12 years 3 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...