1700 search results - page 80 / 340 » Specifying and implementing refactorings |
118
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents our aspect-oriented system specialized for debugging named Bugdel. Bugdel is a plug-in module for Eclipse, which is an integrated development environment. Unli...
115
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
142
click to vote
GRID
2005
Springer
15 years 10 months ago
2005
Springer
—The scale, heterogeneity and dynamism of Grid applications and environments require Grid applications to be self-managing or autonomic. This paper presents the Accord autonomic ...
111
click to vote
IVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Non-verbal communication, or “body language”, is a critical component in constructing believable virtual characters. Most often, body language is implemented by a set...
140
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...