147 search results - page 3 / 30 » Editing Configurations of P Systems |
HUC
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. This paper describes the implementation of a prototype locationaware tourist information system. Particular emphasis is paid to the layered architecture and the rapid con...
ICUMT
2009
14 years 7 months ago
2009
We describe the main architecture and the design principles of the Service/Resource Discovery System (SRDS), a component of the XtreemOS Operating System. XtreemOS is a Linux exten...
FSTTCS
2000
Springer
15 years 1 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
SIGCOMM
2010
ACM
14 years 9 months ago
2010
ACM
Privacy--the protection of information from unauthorized disclosure--is increasingly scarce on the Internet, and yet increasingly important as every user becomes both a content co...
AFRIGRAPH
2007
ACM
15 years 1 months ago
2007
ACM
Real objects present an enormous amount of detail, including aging effects. Artists need an intuitive control when they iteratively review and redesign their work to achieve a spe...