4460 search results - page 432 / 892 » Formal methods for interactive systems |
141
click to vote
CASCON
2006
15 years 8 months ago
2006
E-business software systems are typically incorporated in complex concurrent and interacting business activities. Understanding the concurrent and interactive demands of the enviro...
197
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
172
click to vote
ICECCS
2005
IEEE
16 years 14 days ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
231
click to vote
CTRSA
2005
Springer
16 years 12 days ago
2005
Springer
We propose a dynamic accumulator scheme from bilinear pairings, whose security is based on the Strong Diffie-Hellman assumption. We show applications of this accumulator in constru...
198
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Exploiting the graphics processing unit (GPU) is useful to obtain higher performance with a less number of host machines in grid systems. One problem in GPU-accelerated grid system...