1357 search results - page 108 / 272 » Compositional analysis for linear systems |
ISSTA
2004
ACM
14 years 4 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
ICASSP
2007
IEEE
14 years 5 months ago
2007
IEEE
Recently, Narozny et al [1] proposed a new viewpoint in variable high-rate transform coding. They showed that the problem of finding the optimal 1-D linear block transform for a ...
CSFW
2006
IEEE
14 years 4 months ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
— Protein synthesis is an essential process of cell cycle and growth in eukaryotic cells. The initiation stage of the translation process is known to be the most crucial in regul...
WOSP
1998
ACM
14 years 2 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...