2722 search results - page 434 / 545 » Automating Language Evolution |
150
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
135
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
135
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Developing user interfaces for ubiquitous environments is a challenging task. In such an environment, users can apply different devices to accomplish the same or different tasks. ...
129
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
123
click to vote
ESORICS
2004
Springer
15 years 8 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...