3040 search results - page 233 / 608 » Independent Natural Extension |
ALT
2003
Springer
15 years 9 months ago
2003
Springer
A pattern is a finite string of constant and variable symbols. The erasing language generated by a pattern p is the set of all strings that can be obtained by substituting (possib...
101
Voted
STACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
98
Voted
IVA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Several challenges remain in the effort to build software capable of conducting realtime dialogue with people. Part of the problem has been a lack of realtime flexibili...
89
Voted
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...
80
Voted
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...