6722 search results - page 1152 / 1345 » Reuse-Conducive Development Environments |
127
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
124
Voted
SOUPS
2010
ACM
15 years 7 months ago
2010
ACM
Policies which address security and privacy are pervasive parts of both technical and social systems, and technology to enable both organizations and individuals to create and man...
149
Voted
WCNC
2010
IEEE
15 years 7 months ago
2010
IEEE
—One way of modelling the wireless channel is in a statistical manner, based on a few parameters describing the characteristics of the environment. In most current wireless chann...
153
Voted
FCCM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract--The Cibola Flight Experiment (CFE) is an experimental small satellite developed at the Los Alamos National Laboratory to demonstrate the feasibility of using FPGA-based r...
155
Voted
HPDC
2007
IEEE
15 years 7 months ago
2007
IEEE
We claim that network services can be transparently added to existing unmodified applications running inside virtual machine environments. Examples of these network services inclu...