11328 search results - page 182 / 2266 » Timed Branching Processes |
329
Voted
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
229
click to vote
CONCURRENCY
2010
15 years 4 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
186
Voted
FOSSACS
2005
Springer
16 years 15 days ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
186
Voted
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...