2250 search results - page 72 / 450 » Authorizing applications in singularity |
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
ASWC
2008
Springer
14 years 12 months ago
2008
Springer
Ten years have passed since the concept of the semantic web was proposed by Tim Berners-Lee. For these years, basic technologies for them such as RDF(S) and OWL were published. As ...
HUC
2010
Springer
14 years 11 months ago
2010
Springer
An increasing number of real-world entities is currently being connected to the Internet and the World Wide Web. We argue that this development is the precursor of a Web of Things...
IJCIM
2007
14 years 9 months ago
2007
: Software applications interoperability is a challenge for modern enterprises. It needs establishing standards and protocols for data exchange between different enterprise systems...