4109 search results - page 679 / 822 » User Interface Software Tools |
SIGADA
2005
Springer
15 years 4 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
HPCN
1999
Springer
15 years 3 months ago
1999
Springer
The growing need of software infrastructure able to create, maintain and ease the evolution of scientific data, promotes the development of digital libraries in order to provide th...
WSC
2008
15 years 1 months ago
2008
The commercial simulation environments that are available today focus primarily on the development of simulation models. They are designed for a single user. They provide animatio...
LREC
2010
15 years 21 days ago
2010
For some years now, the Nederlandse Taalunie (Dutch Language Union) has been active in promoting the development of human language technology (HLT) applications for users of Dutch...
175
click to vote
ICDE
2002
IEEE
16 years 18 days ago
2002
IEEE
In this paper, we explore a new paradigm for data management in which a third party service provider hosts "database as a service" providing its customers seamless mecha...