-
1
-
-
0022767619
-
Linda and friends
-
August
-
Sudhir Ahuja, Nicholas Carriero, and David Gelernter, "Linda and friends," IEEE Computer Vol. 19(8) pp. 26-34 (August 1986).
-
(1986)
IEEE Computer
, vol.19
, Issue.8
, pp. 26-34
-
-
Ahuja, S.1
Carriero, N.2
Gelernter, D.3
-
2
-
-
19044375174
-
An overview of JML tools and applications," Intl
-
June
-
Lilian Burdy, Yoonsik Cheon, David Cok, Michael Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan, M. Leino, and Erik Poll, "An overview of JML tools and applications," Intl. Journal on Software Tools for Technology Transfer Vol. 7(3) pp. 212-232 (June 2005).
-
(2005)
Journal on Software Tools for Technology Transfer
, vol.7
, Issue.3
, pp. 212-232
-
-
Burdy, L.1
Cheon, Y.2
Cok, D.3
Ernst, M.4
Kiniry, J.5
Gary, T.6
Rustan, L.K.7
Leino, M.8
Poll, E.9
-
4
-
-
2442479765
-
Making Gnutella-like P2P systems scalable
-
Aug
-
Yatin Chawathe, Sylvia Ratnasamy, Lee Breslau, Nick Lanham, and Scott Shenker, "Making Gnutella-like P2P systems scalable," Proc. ACM SIGCOMM 2003, (Aug 2003).
-
(2003)
Proc. ACM SIGCOMM
, vol.2003
-
-
Chawathe, Y.1
Ratnasamy, S.2
Breslau, L.3
Lanham, N.4
Shenker, S.5
-
5
-
-
84885828772
-
Java Transaction Service (JTS)
-
December
-
Susan Cheung, "Java Transaction Service (JTS)," Sun Microsystems, (December 1999).
-
(1999)
Sun Microsystems
-
-
Cheung, S.1
-
6
-
-
0016949746
-
A lattice model of secure information flow
-
May
-
Dorothy E. Denning, "A lattice model of secure information flow," Communications of the ACM Vol. 19(5) pp. 236-243 (May 1976).
-
(1976)
Communications of the ACM
, vol.19
, Issue.5
, pp. 236-243
-
-
Denning, D.E.1
-
9
-
-
0003400120
-
-
Addison-Wesley
-
Eric Freeman, Susanne Hupfer, and Ken Arnold, Javaspaces Principles, Patterns, and Practice, Addison-Wesley (1999).
-
(1999)
Javaspaces Principles, Patterns, and Practice
-
-
Freeman, E.1
Hupfer, S.2
Arnold, K.3
-
11
-
-
0037236308
-
The dawning of the autonomic computing era
-
A. Ganek and T. Corbi, "The dawning of the autonomic computing era," IBM Systems Journal Vol. 42(1) pp. 518 (2002).
-
(2002)
IBM Systems Journal
, vol.42
, Issue.1
, pp. 518
-
-
Ganek, A.1
Corbi, T.2
-
12
-
-
84870646117
-
-
Li Gong, "Java 2 platform security architecture," Sun Microsystems (http://java.sun.com/j2se/1.4.2/docs/guide/ security/spec/security- spec.doc.html), (2002).
-
(2002)
Sun Microsystems
-
-
Gong, L.1
-
13
-
-
0035331708
-
JXTA: A network programming environment
-
IEEE
-
L. Gong, "JXTA: a network programming environment," IEEE Internet Computing Vol. 5 pp. 88-95 (2001).
-
(2001)
Internet Computing
, vol.5
, pp. 88-95
-
-
Gong, L.1
-
14
-
-
0022115115
-
The Larch family of specification languages
-
March
-
J. V. Guttag, J. J. Horning, and J. M. Wing, "The Larch family of specification languages," IEEE Software Vol. 2(5) pp. 24-36 (March 1985).
-
(1985)
IEEE Software
, vol.2
, Issue.5
, pp. 24-36
-
-
Guttag, J.V.1
Horning, J.J.2
Wing, J.M.3
-
15
-
-
0038507387
-
Alloy: A lightweight object modeling notation
-
April
-
Daniel Jackson, "Alloy: A lightweight object modeling notation," ACM Trans. Software Engineering and Methodology Vol. 11(2) pp. 256-290 (April 2002).
-
(2002)
ACM Trans. Software Engineering and Methodology
, vol.11
, Issue.2
, pp. 256-290
-
-
Jackson, D.1
-
16
-
-
19944402551
-
Web page classification without the web page
-
Min-Yen Kan, "Web page classification without the web page," Proc 13th WWW Conference, (2004).
-
(2004)
Proc 13th WWW Conference
-
-
Kan, M.1
-
17
-
-
84969377247
-
User authentication and authoriztaion in the Java platform
-
December
-
Charlie Lai, Li Gong, Larry Koved, Anthony Nadalin, and Roland Schemers, "User authentication and authoriztaion in the Java platform," Proc. 15th Annual Computer Security Applications Conference, (December 1999).
-
(1999)
Proc. 15th Annual Computer Security Applications Conference
-
-
Lai, C.1
Gong, L.2
Koved, L.3
Nadalin, A.4
Schemers, R.5
-
18
-
-
0000913573
-
JML: A notation for detailed design
-
Haim Kilov, Bernhard Rumpe, and Ian Simmonds Kluwer
-
Gary T. Leavens, Albert L. Baker, and Clyde Ruby, "JML: A notation for detailed design," pp. 175-188 in Behavioral Specifications of Businesses and Systems, ed. Haim Kilov, Bernhard Rumpe, and Ian Simmonds,Kluwer (1999).
-
(1999)
Behavioral Specifications of Businesses and Systems
, pp. 175-188
-
-
Leavens, G.T.1
Baker, A.L.2
Ruby, C.3
-
20
-
-
33846497739
-
On the role of middleware in architecture-based software development
-
July
-
Nenad Medvidovic, "On the role of middleware in architecture-based software development," SEKE '02, pp. 299-306 (July 2002).
-
(2002)
SEKE '02
, pp. 299-306
-
-
Medvidovic, N.1
-
22
-
-
0008284295
-
-
June
-
Sun Microsystems, "The Jini Architechture Specification," http://www.sun.com/software/jini/specs/index.xml, (June 2003).
-
(2003)
The Jini Architechture Specification
-
-
-
23
-
-
0038601883
-
The Vienna component framework: Enabling composition across component models
-
May
-
Johann Oberleitner, Thomas Gschwind, and Mehdi Jazayeri, "The Vienna component framework: enabling composition across component models," Proc. 25th ICSE, pp. 25-35 (May 2003).
-
(2003)
Proc. 25th ICSE
, pp. 25-35
-
-
Oberleitner, J.1
Gschwind, T.2
Jazayeri, M.3
-
24
-
-
0025448464
-
Interacting with the FIELD environment
-
June
-
Steven P. Reiss, "Interacting with the FIELD environment," Software Practice and Experience Vol. 20(S1) pp. 89-115 (June 1990).
-
(1990)
Software Practice and Experience
, vol.20
, Issue.S1
, pp. 89-115
-
-
Reiss, S.P.1
-
25
-
-
0025452123
-
Connecting tools using message passing in the FIELD environment
-
July
-
Steven P. Reiss, "Connecting tools using message passing in the FIELD environment," IEEE Software Vol. 7(4) pp. 57-67 (July 1990).
-
(1990)
IEEE Software
, vol.7
, Issue.4
, pp. 57-67
-
-
Reiss, S.P.1
-
26
-
-
47349105987
-
A component model for Internet-scale applications
-
November
-
Steven P. Reiss, "A component model for Internet-scale applications," Proc. ASE 2005, pp. 34-43 (November 2005).
-
(2005)
Proc. ASE 2005
, pp. 34-43
-
-
Reiss, S.P.1
-
28
-
-
18944372663
-
Modular Internet programming with cells
-
Springer Verlag LCNS 2374
-
Ran Rinat and Scott Smith, "Modular Internet programming with cells," Proc. ECOOP 2002, Springer-Verlag LCNS 2374, (2002).
-
(2002)
Proc. ECOOP 2002
-
-
Rinat, R.1
Smith, S.2
-
31
-
-
0038601429
-
Component technology - What, where, and how?
-
May
-
Clemens Szyperski, "Component technology - what, where, and how?," Proc 25th ICSE, pp. 684-693 (May 2003).
-
(2003)
Proc 25th ICSE
, pp. 684-693
-
-
Szyperski, C.1
|