409 search results - page 4 / 82 » A Graphically Based Language for Constructing, Executing and... |
158
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
128
Voted
IASSE
2004
15 years 5 months ago
2004
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
124
click to vote
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
138
Voted
ENTCS
2006
15 years 3 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
117
Voted
ADBIS
1997
Springer
15 years 7 months ago
1997
Springer
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...