144 search results - page 18 / 29 » How Expressions Can Code for Automata |
117
click to vote
BMCBI
2007
15 years 13 days ago
2007
Background: In many approaches to the inference and modeling of regulatory interactions using microarray data, the expression of the gene coding for the transcription factor is co...
83
Voted
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
In this paper, we present two rate allocation algorithms for embedded motion compensated video coders. The algorithms are based on the modeling of both the video signal and the co...
153
Voted
MOBICOM
1997
ACM
15 years 4 months ago
1997
ACM
: This paper describes a protection scheme for mobile agents implemented on a Java environment. In this scheme, access to objects is controlled by means of software capabilities th...
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
113
Voted
ESOP
2010
Springer
15 years 3 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...