6016 search results - page 1008 / 1204 » The semantics of graphical languages |
162
click to vote
ECSQARU
2007
Springer
16 years 24 days ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
153
click to vote
GPCE
2007
Springer
16 years 24 days ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
189
click to vote
IWMM
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
153
Voted
SAS
2007
Springer
16 years 22 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
165
click to vote
WCRE
2006
IEEE
16 years 19 days ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...