2374 search results - page 315 / 475 » The language of machines |
201
click to vote
IFM
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
224
click to vote
MIDDLEWARE
2004
Springer
16 years 25 days ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
198
Voted
IFL
2003
Springer
16 years 21 days ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
240
Voted
ITCC
2002
IEEE
16 years 12 days ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...
207
Voted
LEC
2002
IEEE
16 years 12 days ago
2002
IEEE
This paper discusses the processing of negative verbal forms in Oriya in a deterministic Finite State Automaton. A morphologically agglutinative language like Oriya has ‘phrasal...