3844 search results - page 92 / 769 » Modular interpreted systems |
110
Voted
MFCS
1997
Springer
15 years 6 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
136
Voted
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
105
Voted
KIVS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract: The goals of the interdisciplinary project HORN were as well to improve competitiveness of service providers that deliver grocery items as to develop new hardware and sof...
106
click to vote
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
The objective of this study is to clarify how interpretation schemes held by people involved in organizational IS change affect implementation efforts and the outcomes of user par...
87
Voted
ACL
1998
15 years 4 months ago
1998
This paper describes a practical method of automatic simultaneous interpretation utilizing an example-based incremental transfer mechanism. We primarily show how incremental trans...