2496 search results - page 83 / 500 » Error-detecting properties of languages |
137
click to vote
ECOWS
2007
Springer
15 years 4 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
99
Voted
JSYML
2000
15 years 13 days ago
2000
We investigate topological properties of subsets S of the real plane, expressed by first-order logic sentences in the language of the reals augmented with a binary relation symbol...
144
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
84
Voted
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
93
Voted
OTM
2004
Springer
15 years 6 months ago
2004
Springer
To achieve sharing and reuse for sustainable development, documents are semantically interrelated by ontologies, specified formally using the specification language Casl. The spe...