3555 search results - page 672 / 711 » Security-Critical System Development with Extended Use Cases |
103
click to vote
IJWIS
2006
15 years 1 months ago
2006
The World Wide Web has undergone a rapid transition from the originally static hypertext to an ubiquitous hypermedia system. Today, the Web is not only used as a basis for distribu...
105
click to vote
EUROCRYPT
2004
Springer
15 years 6 months ago
2004
Springer
For the last two decades the notion and implementations of proxy signatures have been used to allow transfer of digital signing power within some context (in order to enable flexi...
124
click to vote
PLDI
1997
ACM
15 years 5 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
157
click to vote
KR
1991
Springer
15 years 4 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
117
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Translation initiation site (TIS) identification is an important aspect of the gene annotation process, requisite for the accurate delineation of protein sequences fro...