1541 search results - page 228 / 309 » Tools and Techniques for Model Checking Networked Programs |
79
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
87
Voted
PE
2002
Springer
15 years 7 days ago
2002
Springer
: We analyze D/G/1 and M/G/1 queues where the service time for an arrival depends on the amount of work in the system upon arrival. The models are motivated by the bit dropping met...
93
Voted
NOMS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
151
Voted
BMCBI
2005
15 years 15 days ago
2005
Background: The multitude of motif detection algorithms developed to date have largely focused on the detection of patterns in primary sequence. Since sequence-dependent DNA struc...
122
Voted
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper su...