3307 search results - page 513 / 662 » The meaning of concurrent programs |
177
Voted
IWIC
2007
Springer
16 years 1 months ago
2007
Springer
Parallel corpora encode extremely valuable linguistic knowledge, the revealing of which is facilitated by the recent advances in multilingual corpus linguistics. The linguistic dec...
180
Voted
RR
2007
Springer
16 years 1 months ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
202
click to vote
SOCO
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
183
Voted
SSS
2007
Springer
16 years 1 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
161
click to vote
KBSE
2006
IEEE
16 years 29 days ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...