3688 search results - page 453 / 738 » Static analysis of aspects |
192
click to vote
ISPW
2010
IEEE
15 years 12 months ago
2010
IEEE
Pressures for more complex products, customer dissatisfaction and problems related to cost and schedule overruns increase the need for effective management response and for improve...
168
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Human movements include limb gestures and postural attitude. Although many computer animation researchers have studied these classes of movements, procedurally generated movements...
157
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
158
click to vote
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
210
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...