3825 search results - page 541 / 765 » The Language of Time: A Reader |
162
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
188
click to vote
LISP
2008
15 years 7 months ago
2008
For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequ...
204
click to vote
NGC
2008
Springer
15 years 7 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
203
click to vote
IANDC
2007
15 years 7 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...
173
click to vote
PUC
2006
15 years 7 months ago
2006
In the realm of product design, communication between designer, client, design team and future users is of great importance. Throughout the design process, ideas and concepts are g...