1788 search results - page 296 / 358 » Model Theory for Process Algebra |
193
Voted
KCAP
2011
ACM
14 years 6 months ago
2011
ACM
Some discourse structures such as enumerative structures have typographical, punctuational and laying out characteristics which (1) make them easily identifiable and (2) convey hi...
164
Voted
JUCS
2010
14 years 10 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
228
Voted
SYRCODIS
2008
15 years 5 months ago
2008
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...
136
Voted
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Separation of Duty Constraints David Basin1 , Samuel J. Burri1,2 , and G?unter Karjoth2 1 ETH Zurich, Department of Computer Science, Switzerland 2 IBM Research, Zurich Research La...
107
Voted
DIGRA
2003
Springer
15 years 9 months ago
2003
Springer
Communication between players in networked computer games is often inadequately implemented. The games do not exploit the full potential of using different forms of communication ...