2377 search results - page 43 / 476 » Hybrid Systems in TLA |
HOTOS
2009
IEEE
15 years 2 months ago
2009
IEEE
:
GCC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
82
Voted
IMECS
2007
15 years 10 days ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
96
Voted
AUTOMATICA
2006
14 years 11 months ago
2006
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
200
click to vote
ICS
2011
Tsinghua U.
14 years 2 months ago
2011
Tsinghua U.
With the fast technical improvement, flash memory based Solid State Drives (SSDs) are becoming an important part of the computer storage hierarchy to significantly improve perfo...