13791 search results - page 2390 / 2759 » Modeling Web Interactions |
164
click to vote
COMPSAC
2009
IEEE
16 years 24 days ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
171
click to vote
GLOBECOM
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract—Delay Tolerant Networks (DTNs) are wireless networks in which at any given time instance, the probability of having a complete path from a source to destination is low d...
160
click to vote
IAT
2009
IEEE
16 years 23 days ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
144
click to vote
ICDAR
2009
IEEE
16 years 23 days ago
2009
IEEE
A new handwritten text database, GERMANA, is presented to facilitate empirical comparison of different approaches to text line extraction and off-line handwriting recognition. G...
167
click to vote
SP
2009
IEEE
16 years 23 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...