503 search results - page 52 / 101 » If not now, when |
ENTCS
2007
13 years 10 months ago
2007
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
FMSD
2007
13 years 10 months ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
FTDB
2007
13 years 10 months ago
2007
Database Management Systems (DBMSs) are a ubiquitous and critical component of modern computing, and the result of decades of research and development in both academia and industr...
IJEB
2007
13 years 10 months ago
2007
In Europe almost all countries have implemented some form of e-government, not to mention the UK and Norway which are now both well into their sixth year of e-government implement...
BMCBI
2005
13 years 10 months ago
2005
Background: Computational biologists use Expectation values (E-values) to estimate the number of solutions that can be expected by chance during a database scan. Here we focus on ...