585 search results - page 69 / 117 » Structured Formal Development in Isabelle |
101
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...
116
click to vote
SFM
2005
Springer
15 years 5 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
METRICS
2003
IEEE
15 years 5 months ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
EDBT
2009
ACM
15 years 3 months ago
2009
ACM
While there is an increasing need to share data that may contain personal information, such data sharing must preserve individual privacy without disclosing any identifiable infor...
SBBD
2004
15 years 1 months ago
2004
An enormous amount of information is currently available through specialized services of digital libraries (DLs). However the specification and development of DLs are very complex...