851 search results - page 111 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
MICCAI
2006
Springer
14 years 12 months ago
2006
Springer
Acute rejection is the most common reason of graft failure after kidney transplantation, and early detection is crucial to survive the transplanted kidney function. In this paper, ...
HT
2004
ACM
14 years 4 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
SERP
2003
14 years 10 days ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...
IEEESCC
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
This paper describes PI/OT, a template-based parallel I/O system. In PI/OT, I/O streams have annotations associated with them that are external to the source code. These annotatio...