6768 search results - page 1034 / 1354 » Developing Applications Using Model-Driven Design Environmen... |
142
click to vote
HT
1998
ACM
15 years 9 months ago
1998
ACM
In this paper, we introduce an integrated approach to the development of spatial hypertext. This approach brings together several theories and techniques concerning semantic struc...
118
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
128
click to vote
DOCENG
2007
ACM
15 years 6 months ago
2007
ACM
HTML has popularized the use of style sheets, and the advent of XML has stressed the importance of style as a key area complementing document structure and content. A number of to...
133
click to vote
ATMOS
2007
15 years 6 months ago
2007
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
136
click to vote
ENTCS
2002
15 years 4 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...