3792 search results - page 179 / 759 » Techniques for Trusted Software Engineering |
156
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
164
click to vote
CBSE
2004
Springer
15 years 9 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
195
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
We describe a novel programming model for building, extending, and personalizing web-based data-driven applications. Categories and Subject Descriptors D.2.2 [Software Engineering...
116
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents our novel framework, which creates user interfaces (UIs) for a variety of devices by annotating and reusing an existing one originally designed for large devic...
119
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...