247 search results - page 28 / 50 » Development graphs - Proof management for structured specifi... |
76
Voted
EEE
2005
IEEE
15 years 5 months ago
2005
IEEE
Traceability analysis is crucial to the development of web-centric systems, particularly those with frequent system changes, fine-grained evolution and maintenance, and high level...
CLEIEJ
2002
14 years 11 months ago
2002
This paper presents a CORBA Security discretionary prototype developed in the context of JaCoWeb Security Project. JaCoWeb Security Project is developing an authorization scheme f...
ECOOP
2006
Springer
15 years 3 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
MMS
2002
14 years 11 months ago
2002
This paper offers a high-level retrospective overview of the GOPI middleware platform which is the outcome of a three year project aimed at the development of generic, configurabl...
118
click to vote
IJCIS
2006
14 years 11 months ago
2006
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...