1399 search results - page 248 / 280 » A Pattern for Secure Graphical User Interface Systems |
109
click to vote
KBSE
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
125
click to vote
RV
2007
Springer
15 years 7 months ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
109
click to vote
COMCOM
2006
15 years 1 months ago
2006
This paper discusses issues of personalization of presence services in the context of Internet Telephony. Such services take into consideration the willingness and ability of a use...
107
click to vote
VIS
2005
IEEE
16 years 2 months ago
2005
IEEE
High resolution volumes require high precision compositing to preserve detailed structures. This is even more desirable for volumes with high dynamic range values. After the high ...
114
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Extracting and visualizing of protein-protein interaction (PPI) from text literatures are a meaningful topic in protein science. It assists the identification of inter...