483 search results - page 35 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
CCGRID
2004
IEEE
14 years 6 days ago
2004
IEEE
We describe design and implementation of a "Gridenabled" message passing library, in the context of Phoenix message passing model. It supports (1) message routing betwee...
WCRE
2009
IEEE
14 years 3 months ago
2009
IEEE
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
DSD
2005
IEEE
14 years 2 months ago
2005
IEEE
Reconfigurable system is a promising alternative to deliver both flexibility and performance at the same time. New reconfigurable technologies and technologydependent tools have b...
MKWI
2008
13 years 10 months ago
2008
: The possibility of a direct link between business workflows and the supporting application system is often seen as the critical strength of the SOA paradigm. Though in practice, ...
GROUP
1991
ACM
13 years 12 months ago
1991
ACM
: This paper reports an attempt to move computer-based techniques for supporting the analysis of group cognitive processes and decision-making from being specialist applications to...