9049 search results - page 37 / 1810 » The New C Standard |
W2GIS
2007
Springer
15 years 3 months ago
2007
Springer
User interaction is mostly based on forms. However, forms are restricted to alphanumerical data – the editing of geospatial data is not supported. This statement does not only ho...
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
108
click to vote
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
94
Voted
MIDDLEWARE
2004
Springer
15 years 3 months ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...
72
Voted
FLAIRS
2008
14 years 12 months ago
2008
The paper presents a new approach to the problem of paraphrase identification. The new approach extends a previously proposed method for the task of textual entailment. The relati...