589 search results - page 83 / 118 » Design and Implementation of an SSL Component Based on CBD |
109
click to vote
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
112
click to vote
SAC
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
ISM
2005
IEEE
15 years 5 months ago
2005
IEEE
We designed eSports—a collaborative and synchronous video annotation platform, which is to be used in Internet scale cross-platform grid computing environment to facilitate Comp...
WWW
2004
ACM
16 years 16 days ago
2004
ACM
Courseware systems are often based on an assembly of different components, addressing the different needs of storage and delivery functionality. The Learning Technology Standard A...