1121 search results - page 174 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
110
click to vote
HASE
2007
IEEE
15 years 3 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
107
click to vote
SBACPAD
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
114
click to vote
CMOT
2000
14 years 11 months ago
2000
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
111
click to vote
AGI
2011
14 years 3 months ago
2011
Abstract. Recurrent connectivity, balanced between excitation and inhibition, is a general principle of cortical connectivity. We propose that balanced recurrence can be achieved b...
156
click to vote
IHI
2012
13 years 7 months ago
2012
We present a novel software tool called CDN (Collaborative Data Network) for large-scale sharing and querying of clinical documents modeled using HL7 v3 standard (e.g., Clinical D...