1855 search results - page 353 / 371 » System Consequence |
TAPIA
2009
ACM
14 years 2 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
WISE
2000
Springer
14 years 2 months ago
2000
Springer
XML (Extensible Markup Language) is a textual markup language designed for the creation of self-describing documents. Such documents contain textual data combined with structural ...
TPHOL
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
HIPC
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. In this work we put into evidence how the memory performance of a WebServer machine may depend on the sharing induced by process migration. We considered a shared-bus sha...
ICLP
1999
Springer
14 years 2 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...