5228 search results - page 593 / 1046 » Case Studies for Software Engineers |
177
click to vote
APSEC
2002
IEEE
16 years 1 days ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
148
click to vote
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
200
click to vote
GCSE
1999
Springer
15 years 11 months ago
1999
Springer
Aspect-orientedprogramming provides theprogrammer with means to cross-cut conventional program structures, in particular the class hierarchies of object-oriented programming. This ...
154
click to vote
EUROMICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
Two years ago [3] we began to study a R.I.S.C. approachfor smart card microprocessors. We reconsider this research to answer the question of the new technology of smart cards: the...
180
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...