615 search results - page 50 / 123 » High-Level Nondeterministic Abstractions in |
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
104
click to vote
ADAEUROPE
2007
Springer
15 years 7 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
125
click to vote
ESORICS
2000
Springer
15 years 5 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
119
click to vote
JMLR
2010
14 years 8 months ago
2010
In general, imitation is imprecisely used to address different levels of social learning from high level knowledge transfer to low level regeneration of motor commands. However, t...
130
click to vote
DAC
2004
ACM
15 years 7 months ago
2004
ACM
System-on-Chip (SoC) designs are increasingly becoming more complex. Efficient on-chip communication architectures are critical for achieving desired performance in these systems....