Sciweavers

918 search results - page 44 / 184
» Using XML to Integrate Existing Software Systems into the We...
Sort
View
SIGSOFT
2003
ACM
15 years 4 months ago
Evaluating and improving the automatic analysis of implicit invocation systems
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
Jeremy S. Bradbury, Jürgen Dingel
BMCBI
2006
115views more  BMCBI 2006»
14 years 11 months ago
AgdbNet - antigen sequence database software for bacterial typing
Background: Bacterial typing schemes based on the sequences of genes encoding surface antigens require databases that provide a uniform, curated, and widely accepted nomenclature ...
Keith A. Jolley, Martin C. J. Maiden
WEBIST
2008
15 years 13 days ago
A Web-Based Version of a Trivial Game to Promote Galician Culture
We present in this paper the architecture and some implementation details of a web-based version of a Trivial game. Our implementation achieves such a high degree of interactivity ...
Miguel Rodríguez Luaces, Oscar Pedreira, &A...
OTM
2005
Springer
15 years 4 months ago
An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web
Abstract. The Web of today can be seen as an active and heterogeneous infrastructure of autonomous systems, where reactivity, evolution and propagation of information and changes p...
Wolfgang May, José Júlio Alferes, Ri...
HPCA
2009
IEEE
15 years 11 months ago
Hardware-software integrated approaches to defend against software cache-based side channel attacks
Software cache-based side channel attacks present serious threats to modern computer systems. Using caches as a side channel, these attacks are able to derive secret keys used in ...
Jingfei Kong, Onur Aciiçmez, Jean-Pierre Se...