1054 search results - page 152 / 211 » Translation Validation of System Abstractions |
151
Voted
DAGSTUHL
2004
15 years 7 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
177
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
166
Voted
COMPUTER
2004
15 years 6 months ago
2004
highly abstracted. The Chinese writing system uses logographs--conventional representations of words or morphemes. Characters of the most common kind have two parts, one suggesting...
136
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
233
Voted
WISE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Regarding web searches, users have become used to keywordbased search interfaces due to their ease of use. However, this implies a semantic gap between the user's in...