10670 search results - page 2067 / 2134 » Required Information Release |
130
click to vote
DGO
2009
15 years 2 months ago
2009
The execution of cross-domain eGovernment applications is a challenging topic. eGovernment organisations are facilitated and conducted using workflow management systems. Workflows...
118
click to vote
HUC
2010
Springer
15 years 2 months ago
2010
Springer
A fairly common modern setting entails users, each in possession of a personal wireless device, wanting to communicate securely, via their devices. If these users (and their devic...
107
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
121
click to vote
GIS
2008
ACM
15 years 2 months ago
2008
ACM
The road network is one of the most important types of information on raster maps. In particular, the set of road intersection templates, which consists of the road intersection p...
117
click to vote
ICFP
2010
ACM
15 years 2 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...