|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 14 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael |
Toward instant gradeification.  |
CSEE&T  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Zimmerman, Rinkesh Nagmoti |
JMLUnit: The Next Generation. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Zimmerman, Joseph R. Kiniry |
A Verification-Centric Software Development Process for Java. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Business Object Notation, Java, formal methods, software verification, Design by Contract, software engineering process, Java Modeling Language |
| 1 | Joseph R. Kiniry, Daniel M. Zimmerman |
Secret Ninja Formal Methods. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Lu Tian, Daniel M. Zimmerman |
Enterprise Computing Systems as Information Factories. |
EDOC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Zimmerman, K. Mani Chandy |
Snapshot Processing in Streaming Environments. |
GRID |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Zimmerman, K. Mani Chandy |
A Parallel Algorithm for Correlating Event Streams. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Zimmerman |
A UNITY-Based Formalism for Dynamic Distributed Systems. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
dynamic distributed systems, program composition, formal methods, UNITY |
| 1 | Adam Granicz, Daniel M. Zimmerman, Jason Hickey |
Rewriting UNITY. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich R. Schmidt, Cristian Tapus, Daniel M. Zimmerman |
Applying the Distributed Programming Paradigm to Improve Scalability in Multi-user Environments. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ivan Tomek, Alicia Díaz, Ronald Melster, António Rito Silva, Miguel Antunes, Vinny Cahill, Zièd Choukair, Alejandro Fernández, Mads Haahr, Eric Jul, Atsushi Ohnishi, Luís Rodrigues, Erich R. Schmidt, Cristian Tapus, Waldemar Wieczerzycki, Daniel M. Zimmerman |
Multi-user Object-Oriented Environments. |
ECOOP Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman |
A Framework for Structured Distributed Object Computing. |
Parallel Computing |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman |
Webs of Archived Distributed Computations for Asynchronous Collaboration. |
The Journal of Supercomputing |
1997 |
DBLP DOI BibTeX RDF |
distributed sessions, global snapshots, infospheres, distributed systems, world wide web, components, composition, transactions, archiving, asynchronous collaboration |
| 1 | Joseph Kiniry, Daniel M. Zimmerman |
A Hands-On Look at Java Mobile Agents. |
IEEE Internet Computing |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")