7529 search results - page 381 / 1506 » The Modula-3 Type System |
156
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
This paper presents a scheme for extending an informal, pen-based whiteboard system (Tivoli on the Xerox LiveBoard) to provide a structured editing capability without violating it...
201
click to vote
RTSS
1995
IEEE
15 years 10 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
166
click to vote
CTRS
1987
15 years 10 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
175
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
A new trend in home automation is to integrate audio en video applications. However in current domotics systems, these are usually conFigured statically. We implemented a home aut...
132
click to vote
COLING
2008
15 years 8 months ago
2008
The existence of two scripts for Punjabi language has created a script barrier between the Punjabi literature written in India and Pakistan. This research has developed a new syst...