181 search results - page 29 / 37 » An Information Flow Tool for Gypsy |
FPL
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents an automated partitioning strategy to divide a design into a set of partitions based on design hierarchy information. While the primary objective is to use the...
ZUM
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
116
click to vote
DBSEC
2009
15 years 1 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
111
click to vote
ENVSOFT
2010
15 years 4 days ago
2010
The SHETRAN physically-based distributed rainfall-runoff modelling system gives detailed simulations in time and space of water flow and sediment and solute transport in river cat...
WWW
2004
ACM
16 years 22 days ago
2004
ACM
As web service technology matures there is growing interest in exploiting workflow techniques to coordinate web services. Bioinformaticians are a user community who combine web re...