12697 search results - page 97 / 2540 » Call for Papers |
153
click to vote
ER
2007
Springer
16 years 15 days ago
2007
Springer
This paper describes a strategy for modeling and engineering complex e-business systems with built-in quality of adaptiveness. The paper explains the philosophical and scientific ...
163
click to vote
KBSE
2006
IEEE
16 years 10 days ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
136
click to vote
ICDAR
2007
IEEE
16 years 19 days ago
2007
IEEE
As pen-based computing becomes more prevalent, it is increasingly important to be able to share ink across applications and across platforms. The emerging standard Ink Markup Lang...
119
click to vote
DNA
2005
Springer
15 years 12 months ago
2005
Springer
We have been investigating DNA state machines, especially those based on the opening of hairpin molecules in which state transitions are realized as hairpin loops are opened by mo...
218
click to vote
RTA
1993
Springer
15 years 10 months ago
1993
Springer
Usually termination of term rewriting systems TRS's is proved by means of a monotonic well-founded order. If this order is total on ground terms, the TRS is called totally ...