1788 search results - page 296 / 358 » Model Theory for Process Algebra |
231
click to vote
KCAP
2011
ACM
14 years 9 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...
215
click to vote
JUCS
2010
15 years 28 days 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...
289
click to vote
SYRCODIS
2008
15 years 7 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...
171
click to vote
ESORICS
2009
Springer
16 years 6 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...
143
click to vote
DIGRA
2003
Springer
15 years 11 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 ...