7426 search results - page 78 / 1486 » The LHC Computing Challenge |
133
click to vote
ENTCS
2006
15 years 4 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
134
click to vote
ERCIM
2007
15 years 4 months ago
2007
t of view of the service itself. It is an abstracted version of the original service. An operating guideline of a service represents the possible communication behaviours of partne...
145
click to vote
DGO
2011
14 years 3 months ago
2011
We consider open government (OG) within the context of egovernment and its broader implications for the future of public administration. We argue that the current US Administratio...
154
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
By nature, ubiquitous computing applications are intimately intertwined with users' everyday life. This situation is challenging because it requires to make the development of...
186
click to vote
DSL
2009
15 years 1 months ago
2009
Abstract. Various forms of pervasive computing environments are being deployed in an increasing number of areas including healthcare, home automation, and military. This evolution ...