3038 search results - page 272 / 608 » Controlling Engineering Problem Solving |
159
click to vote
WCRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
167
click to vote
FOSSACS
2009
Springer
15 years 10 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 ...
156
click to vote
UIST
1995
ACM
15 years 10 months ago
1995
ACM
Current user interface techniques such as WIMP or the desktop metaphor do not support real world tasks, because the focus of these user interfaces is only on human–computer inte...
166
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
173
click to vote
WSC
2004
15 years 8 months ago
2004
Simulation is a powerful tool that helps decision makers in business and industry to solve difficult and complex problems, reduce cost, improve quality and productivity, and short...