Sciweavers

2806 search results - page 30 / 562
» BML and Related Tools
Sort
View
INFOCOM
2005
IEEE
14 years 4 months ago
Relating two formal models of path-vector routing
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...
Aaron D. Jaggard, Vijay Ramachandran
GECCO
2009
Springer
190views Optimization» more  GECCO 2009»
14 years 2 months ago
Genetic programming for protein related text classification
Since the genomics revolution, bioinformatics has never been so popular. Many researchers have investigated with great success the use of evolutionary computation in bioinformatic...
Marc Segond, Cyril Fonlupt, Denis Robilliard
ICECCS
2007
IEEE
125views Hardware» more  ICECCS 2007»
14 years 2 months ago
Achieving Discrete Relative Timing with Untimed Process Algebra
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...
Anton Wijs
EUROMICRO
2009
IEEE
14 years 2 months ago
The Relative Importance of Aspects of Intellectual Capital for Software Companies
Intellectual capital (IC) is both the key input and tool used in the development of software today. It covers the value provided to an organisation by the employees, the processes...
Sebastian Barney, Aybüke Aurum, Claes Wohlin
AMW
2010
14 years 10 days ago
Chasing after Secrets in Relational Databases
Abstract. Inference control can guarantee confidentiality but is costly to implement. Access control can be implemented efficiently but cannot guarantee confidentiality. Hence, it ...
Joachim Biskup, Sven Hartmann, Sebastian Link, Jan...