925 search results - page 128 / 185 » From Software Architecture to Implementation with UML |
226
click to vote
ICWS
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper we present the concept of ActivityCentric Collaboration Using Service-Oriented Architectures (ACCUSO), which addresses the requirements arising from ad-hoc collabora...
143
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
162
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
152
click to vote
ANCS
2007
ACM
15 years 8 months ago
2007
ACM
Programming specialized network processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide ...
168
click to vote
ASPLOS
2006
ACM
15 years 10 months 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 ...