1497 search results - page 115 / 300 » Extended static checking |
134
click to vote
DEXAW
1999
IEEE
15 years 6 months ago
1999
IEEE
The Workflow Management System AltaVista Works has been extended to be able to process workflows in a distributed, partly even parallel manner. Build-time data are replicated over...
139
click to vote
FMOODS
2003
15 years 3 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract-- In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers an...
106
click to vote
IFL
2001
Springer
15 years 6 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
108
Voted
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...