4350 search results - page 309 / 870 » Case studies for contract-based systems |
175
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- This paper introduces a convex formulation approach for the initialization of parameter estimation problems (PEP). The proposed method exploits the parameter-affine feat...
156
click to vote
JSAI
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The research community plays a very important role in helping researchers undertake new research topics. The authors propose a community mining system that helps to find...
160
click to vote
CLADE
2003
IEEE
16 years 9 min ago
2003
IEEE
The heterogeneity and unpredictability of grid computing environments is a severe challenge to algorithm selection for large-scale scientific codes. This paper discusses a set of ...
180
click to vote
RTSS
1996
IEEE
15 years 11 months ago
1996
IEEE
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks wh...
166
click to vote
JUCS
2006
15 years 6 months ago
2006
: This paper defines algorithms to automatically detect five types of bad smells that occur in aspect-oriented systems, more specifically those written using the AspectJ language. ...