736 search results - page 90 / 148 » Moving Specification Structures Between Logical Systems |
189
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
PVM
2004
Springer
15 years 3 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
124
click to vote
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
109
click to vote
HVC
2007
Springer
15 years 1 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
134
click to vote
Publication
Computer vision techniques have been applied for rapid
and accurate structure recovery in many fields. Most methods
perform poorly in areas containing little or no texture
and i...