398 search results - page 77 / 80 » New Directions in 3D User Interfaces |
GCC
2003
Springer
15 years 2 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
105
click to vote
CCGRID
2001
IEEE
15 years 1 months ago
2001
IEEE
Charging of services in a distributed system will become more and more important for systems which are utilized commercially. Such an important distributed system exists in form o...
ASE
2002
14 years 9 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
103
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: With continuing identification of novel structured noncoding RNAs, there is an increasing need to create schematic diagrams showing the consensus features of these mol...
JOT
2008
14 years 9 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...