3045 search results - page 521 / 609 » Formal Approaches to Software Architecture |
182
click to vote
WOSS
2004
ACM
15 years 12 months ago
2004
ACM
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...
202
click to vote
ASPLOS
2006
ACM
16 years 12 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
193
click to vote
KBSE
2005
IEEE
16 years 12 hour ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
173
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Compiler technology is becoming a key component in the design of embedded systems, mostly due to increasing participation of software in the design process. Meeting system-level ob...
169
click to vote
CASES
2004
ACM
15 years 12 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...