2702 search results - page 252 / 541 » Practically Applicable Formal Methods |
111
click to vote
SSD
2001
Springer
15 years 6 months ago
2001
Springer
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
107
click to vote
JFP
2006
15 years 2 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
137
click to vote
PVLDB
2008
15 years 1 months ago
2008
Access control is the problem of regulating access to secret information based on certain context information. In traditional applications, context information is known exactly, p...
110
click to vote
ATC
2007
Springer
15 years 8 months ago
2007
Springer
A proxy signature scheme allows an entity to delegate its signing capability to another entity (proxy) in such a way that the proxy can sign messages on behalf of the delegator. Pr...
113
click to vote
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...