Sciweavers

6142 search results - page 549 / 1229
» The Complexity of Partition Functions
Sort
View
ICCAD
1999
IEEE
81views Hardware» more  ICCAD 1999»
15 years 11 months ago
Modeling design constraints and biasing in simulation using BDDs
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller,...
MOBICOM
1996
ACM
15 years 11 months ago
Security on the Move: Indirect Authentication using Kerberos
Even as mobile computing and network computing are gaining momentum, Internet security is sharing the spotlight. Security and authentication on open networks is already a difficul...
Armando Fox, Steven D. Gribble
CASCON
2007
138views Education» more  CASCON 2007»
15 years 8 months ago
SLA-driven business process management in SOA
The management of non-functional goals, or Service Level Agreements (SLA), in the development of business processes in a Service Oriented Architecture often requires much manual a...
Vinod Muthusamy, Hans-Arno Jacobsen, Phil Coulthar...
BMCBI
2010
87views more  BMCBI 2010»
15 years 7 months ago
Epigenetic domains found in mouse embryonic stem cells via a hidden Markov model
Background: Epigenetics is an important layer of transcriptional control necessary for cell-type specific gene regulation. Recent studies have shown significant epigenetic pattern...
Jessica L. Larson, Guo-Cheng Yuan
BMCBI
2007
79views more  BMCBI 2007»
15 years 7 months ago
Orthology prediction at scalable resolution by phylogenetic tree analysis
Background: Orthology is one of the cornerstones of gene function prediction. Dividing the phylogenetic relations between genes into either orthologs or paralogs is however an ove...
René T. J. M. van der Heijden, Berend Snel,...