5326 search results - page 392 / 1066 » On what we can ensure |
165
click to vote
PPDP
2007
Springer
16 years 28 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
219
click to vote
BIBE
2006
IEEE
16 years 26 days ago
2006
IEEE
The analysis of alignments of functionally equivalent proteins can reveal regularities such as correlated positions or residue patterns which are important to ensure a specific f...
179
click to vote
SUTC
2006
IEEE
16 years 24 days ago
2006
IEEE
Recent advances in computer power, network bandwidth, information storage, and multimedia/signal processing techniques have led to a proliferation of multimedia data. As a result,...
156
click to vote
ACSD
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
200
click to vote
WORDS
2005
IEEE
16 years 11 days ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...