138 search results - page 10 / 28 » Experience report: ocsigen, a web programming framework |
114
Voted
JTRES
2010
ACM
14 years 12 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
130
click to vote
ASM
2008
ASM
15 years 1 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
IJWBC
2006
14 years 11 months ago
2006
: Spatial implications of the commonly used `navigation' metaphor have lead many researchers to investigate the relation between individual differences and navigation. This st...
91
Voted
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents an overview of our framework for searching and retrieving facts and relationships within natural language text sources. In this framework, an extraction task o...
COMPSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...