|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 35 occurrences of 24 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jawwad Shamsi, Monica Brockmeyer |
Predictable service overlay networks: Predictability through adaptive monitoring and efficient overlay construction and management.  |
J. Parallel Distrib. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunbo Chu, Monica Brockmeyer |
Eventually perfect predicate detection in crash-affected finite average response time systems. |
IJPEDS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunbo Chu, Monica Brockmeyer |
Mobile Agents and Eventually Perfect Predicate Detection: An Intelligent General Approach to Monitoring Distributed Systems. |
Agent and Multi-agent Technology for Internet and Enterprise Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawwad Shamsi, Monica Brockmeyer |
Evaluation of QoS-compliant overlays under denial of service attacks. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawwad Shamsi, Monica Brockmeyer |
QoSMap: Achieving Quality and Resilience through Overlay Construction. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawwad Shamsi, Monica Brockmeyer |
Efficient and dependable overlay networks. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dapeng Liu, Shaochun Xu, Monica Brockmeyer |
Investigation on Academic Research Software Development. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunbo Chu, Monica Brockmeyer |
Predicate Detection Modality and Semantics in Three Partially Synchronous Models. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
Semantics, Observability, Modality, Partial synchrony, Predicate detection |
| 1 | Jawwad Shamsi, Monica Brockmeyer |
PSON: predictable service overlay networks. |
SIGMETRICS Performance Evaluation Review |
2007 |
DBLP DOI BibTeX RDF |
internet synchrony, predictable communication, overlay networks |
| 1 | Jawwad Shamsi, Monica Brockmeyer |
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunbo Chu, Monica Brockmeyer |
Real-time predicate detection in timed asynchronous systems. |
ISCA PDCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Xinjie Li, Monica Brockmeyer |
Fast Failure Detection in a Process Group. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Temkow, Anne-Marie Bosneag, Xinjie Li, Monica Brockmeyer |
PaxonDHT: Achieving Consensus in Distributed Hash Tables. |
SAINT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawwad Shamsi, Chunbo Chu, Monica Brockmeyer |
Towards Partially Synchronous Overlays: Issues and Challenges. |
AAA-IDEA |
2005 |
DBLP DOI BibTeX RDF |
Overlay Networks, Network Monitoring, Partial Synchrony, Internet Systems |
| 1 | Anne-Marie Bosneag, Monica Brockmeyer |
A Unified Formal Specification for a Multi-Consistency Replication System for DHTs. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
replica consistency, multi-consistency replication, reliability, formal specification, distributed hash table |
| 1 | Anne-Marie Bosneag, Monica Brockmeyer |
GRACE: Enabling collaborations in wide-area distributed systems. |
WETICE |
2005 |
DBLP DOI BibTeX RDF |
multiconsistency replication, middleware, distributed hash table, distributed collaborations |
| 1 | Chunbo Chu, Monica Brockmeyer |
Fast Online Predicate Detection Using Symbolic Model Checking. |
Computers and Their Applications |
2005 |
DBLP BibTeX RDF |
|
| 1 | Xinjie Li, Monica Brockmeyer |
Brief announcement: controlled quorum selection in arbitrary topologies. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinjie Li, Monica Brockmeyer |
Server selection with arbitrary distribution. |
CollaborateCom |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Marie Bosneag, Yong Xi, Xinjie Li, Monica Brockmeyer |
Adaptive congestion control for hotspot management in structured peer-to-peer systems. |
CCGRID |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica Brockmeyer, Chunbo Chu |
Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
internet, monitoring, distributed hash table |
| 1 | Anne-Marie Bosneag, Monica Brockmeyer |
Consistency-based routing in overlay networks. |
Parallel and Distributed Computing and Networks |
2004 |
DBLP BibTeX RDF |
|
| 1 | Anne-Marie Bosneag, Monica Brockmeyer |
A Formal Model for Eventual Consistency Semantics. |
IASTED PDCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian |
Simulation-Verification: Biting at the State Explosion Problem. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Modechart, simulation, Real-time systems, verification, formal methods, specification, requirements analysis, timing constraints |
| 1 | Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner |
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
monitoring and assertion checking, Simulation, formal methods, specification, symbolic execution |
| 1 | Monica Brockmeyer |
Using Modechart Modules for Testing Formal Specifications. (PDF / PS) |
HASE |
1999 |
DBLP DOI BibTeX RDF |
real-time systems, verification, testing, formal methods, specification |
| 1 | Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw |
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. (PDF / PS) |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw |
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Jensen, Monica Brockmeyer, Nandit Soparkar |
Performance aspects of dynamic re-allocation for partitioned data. |
CASCON |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")