12774 search results - page 186 / 2555 » A Framework for Proof Systems |
141
click to vote
CSCW
2004
ACM
15 years 4 months ago
2004
ACM
Abstract. In this paper we examine an emerging class of systems that link People-to-People-toGeographical-Places; we call these P3-Systems. Through analyzing the literature, we hav...
120
click to vote
RTS
2010
15 years 3 months ago
2010
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
126
click to vote
ADBIS
1997
Springer
15 years 8 months ago
1997
Springer
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
161
click to vote
DMIN
2006
15 years 6 months ago
2006
Intrusion Detection System is an integral component of the computer security infrastructure. It is usually put in place to detect computer security policy violations. While its ro...