2135 search results - page 321 / 427 » An Operational Semantics for JavaScript |
111
click to vote
JUCS
2006
15 years 2 months ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
119
click to vote
GEOINFORMATICA
1998
15 years 2 months ago
1998
The nature of map generalization may be non-uniform along the length of an individual line, requiring the application of methods that adapt to the local geometry and the geographi...
138
click to vote
JFP
2010
15 years 28 days ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
129
click to vote
PVM
2010
Springer
15 years 26 days ago
2010
Springer
With the ever-increasing numbers of cores per node on HPC systems, applications are increasingly using threads to exploit the shared memory within a node, combined with MPI across ...
121
click to vote
SRDS
2010
IEEE
15 years 10 days ago
2010
IEEE
Virtual machine (VM) introspection is a powerful technique for determining the specific aspects of guest VM execution from outside the VM. Unfortunately, existing introspection so...