8627 search results - page 1545 / 1726 » Software Engineering Using RATionale |
176
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...
160
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper describes the design and implementation of the eduSource Communication Layer (ECL) protocol. ECL is one outcome of a pan-Canadian project called eduSource Canada to bui...
167
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
In this work two distinct metrics are proposed, which aim to quantify the importance of a web page based on the visits it receives by the users and its location within the website...
196
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
181
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
GINI (GINI Is Not Internet) is an open-source toolkit for creating virtual micro Internets for teaching and learning computer networking. It provides lightweight virtual elements ...