1837 search results - page 277 / 368 » Architecture = Abstractions over Software |
93
Voted
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...
120
Voted
HIPEAC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Iterative optimization has become a popular technique to obtain improvements over the default settings in a compiler for performance-critical applications, such as embedd...
ICSE
1995
IEEE-ACM
15 years 4 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
107
Voted
EDBTW
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Since XML is used as a storage format in an increasing number of applications, security has become an important issue in XML databases. One aspect of security is restrict...
119
Voted
DIAGRAMS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...