17082 search results - page 3238 / 3417 » Abstractions for Mobile Computation |
170
click to vote
TELETRAFFIC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We focus in this paper on passive traffic measurement techniques that collect traces of TCP packets and analyze them to derive, for example, round-trip times or aggregate...
181
click to vote
TGC
2007
Springer
16 years 21 days ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
190
click to vote
VIZSEC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract Attack graphs for large enterprise networks improve security by revealing critical paths used by adversaries to capture network assets. Even with simplification, current a...
194
click to vote
WEA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. A major task in evolutionary biology is to determine the ancestral relationships among the known species, a process generally referred as phylogenetic reconstruction. In ...
159
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...