13618 search results - page 397 / 2724 » The Newton Operating System |
132
click to vote
GG
2004
Springer
16 years 8 days ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
182
click to vote
ARITH
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a rigorous theoretical analysis of the main properties of a double base number system, using bases 2 and 3; in particular we emphasize the sparseness of t...
155
click to vote
DEXAW
1997
IEEE
15 years 11 months ago
1997
IEEE
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
208
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
158
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: In the future, we propose that there will be largely self-sufficient robot colonies operating on distant planets and in harsh environments here on earth. A highly desirable quali...