1863 search results - page 371 / 373 » An Implementation Of Formal Semantics In The Formalism Of Re... |
EGOV
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Research works and surveys focusing on e-Government Digital Services availability and usage, reveal that often services are available but ignored by citizens. In our hypo...
ICFP
2010
ACM
13 years 6 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
: This paper presents some aspects related to the DVB (Digital Video Broadcasting) investigation. Thebasicaspectsof DVB are presented, with an emphasis on DVB-T version of standard...
FUIN
2008
13 years 5 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
BMCBI
2006
13 years 5 months ago
2006
Background: The aim of protein design is to predict amino-acid sequences compatible with a given target structure. Traditionally envisioned as a purely thermodynamic question, thi...