1005 search results - page 97 / 201 » A Language for Manipulating Arrays |
140
click to vote
ICALP
1998
Springer
15 years 7 months ago
1998
Springer
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
150
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
The Web is moving toward a collection of interoperating Web services. Achieving this interoperability requires dynamic discovery of Web services on the basis of their capabilities...
139
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
121
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Detailed memory models that expose individual fields are necessary to precisely analyze code that makes use of low-level aspects such as, pointers to fields and untagged unions. Ye...
117
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...