Sciweavers

3902 search results - page 416 / 781
» Hardware Synthesis from C C Models
Sort
View
FC
2006
Springer
99views Cryptology» more  FC 2006»
15 years 10 months ago
A Protocol for Secure Public Instant Messaging
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...
Mohammad Mannan, Paul C. van Oorschot
WSC
2008
15 years 9 months ago
New approaches for inference of unobservable queues
Many inference methods of queueing systems have been developed on the basis of Larson's QIE(queue inference engine) with the assumption of homogeneous Poisson arrivals. It in...
Yun Bae Kim, Jinsoo Park

Publication
159views
14 years 2 months ago
Insights into Internet Memes
Internet memes are phenomena that rapidly gain popularity or notoriety on the Internet. Often, modifications or spoofs add to the profile of the original idea thus turning it into ...
C. Bauckhage
BMCBI
2011
15 years 1 months ago
Simulated evolution applied to study the genetic code optimality using a model of codon reassignments
Background: As the canonical code is not universal, different theories about its origin and organization have appeared. The optimization or level of adaptation of the canonical ge...
Jose Santos, Ángel Monteagudo
DSRT
2008
IEEE
16 years 1 months ago
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
Manel Khlif, Mohamed Shawky