|
Search the dblp DataBase
Nayeem Islam:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
JVer: A Java Verifier. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:144-147 [Conf]
- Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam
HAIL: a language for easy and correct device access. [Citation Graph (0, 0)][DBLP] EMSOFT, 2005, pp:1-9 [Conf]
- Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
Enforcing Resource Bounds via Static Verification of Dynamic Checks. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:311-325 [Conf]
- Dachuan Yu, Nayeem Islam
A Typed Assembly Language for Confidentiality. [Citation Graph (0, 0)][DBLP] ESOP, 2006, pp:162-179 [Conf]
- Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger
Achieved IPC Performance. [Citation Graph (0, 0)][DBLP] Workshop on Hot Topics in Operating Systems, 1997, pp:28-31 [Conf]
- Jochen Liedtke, Nayeem Islam, Trent Jaeger
Preventing Denial-of-Service Attacks on a µ-Kernel for WebOSes. [Citation Graph (0, 0)][DBLP] Workshop on Hot Topics in Operating Systems, 1997, pp:73-79 [Conf]
- Nayeem Islam, Roy H. Campbell
Techniques for Global Optimization of Message Passing Communication on Unreliable Networks. [Citation Graph (0, 0)][DBLP] ICDCS, 1995, pp:246-253 [Conf]
- Nayeem Islam, Amitabh Dave, Roy H. Campbell
Communication Compilation for Unreliable Networks. [Citation Graph (0, 0)][DBLP] ICDCS, 1996, pp:188-195 [Conf]
- Nayeem Islam, Andreas L. Prodromidis, Mark S. Squillante, Ajei S. Gopal, Liana L. Fong
Extensible Resource Management for Cluster Computing. [Citation Graph (0, 0)][DBLP] ICDCS, 1997, pp:0-0 [Conf]
- Nayeem Islam, Roy H. Campbell
Uniform Co-Scheduling Using Object-Oriented Design Techniques. [Citation Graph (0, 0)][DBLP] Decentralized and Distributed Systems, 1993, pp:317-328 [Conf]
- Nayeem Islam, Andreas L. Prodromidis, Mark S. Squillante
Dynamic Partitioning in Different Distributed-Memory Environments. [Citation Graph (0, 0)][DBLP] JSSPP, 1996, pp:244-270 [Conf]
- Manuel Román, Nayeem Islam
Dynamically Programmable and Reconfigurable Middleware Services. [Citation Graph (0, 0)][DBLP] Middleware, 2004, pp:372-396 [Conf]
- James Beck, Alain Gefflaut, Nayeem Islam
MOCA: A Service Framework for Mobile Computing Devices. [Citation Graph (0, 0)][DBLP] MobiDE, 1999, pp:62-68 [Conf]
- Henry Song, Hao-hua Chu, Nayeem Islam, Shoji Kurakake, Masaji Katagiri
Browser State Repository Service. [Citation Graph (0, 0)][DBLP] Pervasive, 2002, pp:253-266 [Conf]
- Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
JavaScript instrumentation for browser security. [Citation Graph (0, 0)][DBLP] POPL, 2007, pp:237-249 [Conf]
- Nayeem Islam, Andreas L. Prodromidis, Mark S. Squillante, Ajei S. Gopal, Liana L. Fong
Extensible Resource Scheduling for Parallel Scientific Applications. [Citation Graph (0, 0)][DBLP] PPSC, 1997, pp:- [Conf]
- Trent Jaeger, Frederique Giraud, Nayeem Islam, Jochen Liedtke
A role-based access control model for protection domain derivation and management. [Citation Graph (0, 0)][DBLP] ACM Workshop on Role-Based Access Control, 1997, pp:95-106 [Conf]
- Nayeem Islam, Dong Zhou, Shahid Shoaib, Ali Ismael, Sajithkumar Kizhakkiniyil
AOE: A Mobile Operating Environment for Web-Based Applications. [Citation Graph (0, 0)][DBLP] SAINT, 2004, pp:15-24 [Conf]
- Trent Jaeger, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park, Nayeem Islam
Security architecture for component-based operating systems. [Citation Graph (0, 0)][DBLP] ACM SIGOPS European Workshop, 1998, pp:222-228 [Conf]
- Jochen Liedtke, Nayeem Islam, Trent Jaeger, Vsevolod Panteleenko, Yoonho Park
An unconventional proposal: using the x86 architecture as the ubiquitous virtual standard architecture. [Citation Graph (0, 0)][DBLP] ACM SIGOPS European Workshop, 1998, pp:237-241 [Conf]
- Jochen Liedtke, Nayeem Islam, Trent Jaeger, Vsevolod Panteleenko, Yoonho Park
Irreproducible benchmarks might be sometimes helpful. [Citation Graph (0, 0)][DBLP] ACM SIGOPS European Workshop, 1998, pp:242-246 [Conf]
- Rangachari Anand, Nayeem Islam, Trent Jaeger, Josyula R. Rao
A Flexible Security Model for Using Internet Content. [Citation Graph (0, 0)][DBLP] Symposium on Reliable Distributed Systems, 1997, pp:89-96 [Conf]
- Dong Zhou, Nayeem Islam, Ali Ismael
Flexible on-device service object replication with replets. [Citation Graph (0, 0)][DBLP] WWW, 2004, pp:131-142 [Conf]
- Roy H. Campbell, Nayeem Islam, David Raila, Peter Madany
Designing and Implementing Choices: An Object-Oriented System in C++. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1993, v:36, n:9, pp:117-126 [Journal]
- Nayeem Islam, Roy H. Campbell
Latest Developments in Operating Systems (Introduction to the Special Section). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1996, v:39, n:9, pp:38-40 [Journal]
- Nayeem Islam, Murthy V. Devarakonda
An Essential Design Pattern for Fault-Tolerant Distributed State Sharing. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1996, v:39, n:10, pp:65-74 [Journal]
- Nayeem Islam, Mohamed E. Fayad
Toward ubiquitous acceptance of ubiquitous computing. [Citation Graph (0, 0)][DBLP] Commun. ACM, 2003, v:46, n:2, pp:89-92 [Journal]
- Nayeem Islam
Customizing System Software Using OO Frameworks. [Citation Graph (0, 0)][DBLP] IEEE Computer, 1997, v:30, n:2, pp:69-78 [Journal]
- Roy H. Campbell, Nayeem Islam
A Technique for Documenting the Framework of an Object-Oriented System. [Citation Graph (0, 0)][DBLP] Computing Systems, 1993, v:6, n:4, pp:363-389 [Journal]
- Roy H. Campbell, Nayeem Islam, Peter Madany
Choices, Frameworks and Refinement. [Citation Graph (0, 0)][DBLP] Computing Systems, 1992, v:5, n:3, pp:217-257 [Journal]
- Nayeem Islam
Customized Message Passing. [Citation Graph (0, 0)][DBLP] J. Parallel Distrib. Comput., 1997, v:41, n:2, pp:205-224 [Journal]
- Nayeem Islam, Rangachari Anand, Trent Jaeger, Josyula R. Rao
A Flexible Security System for Using Internet Content. [Citation Graph (0, 0)][DBLP] IEEE Software, 1997, v:14, n:5, pp:52-59 [Journal]
- Trent Jaeger, Atul Prakash, Jochen Liedtke, Nayeem Islam
Flexible Control of Downloaded Executable Content. [Citation Graph (0, 0)][DBLP] ACM Trans. Inf. Syst. Secur., 1999, v:2, n:2, pp:177-228 [Journal]
- Nayeem Islam, Roy H. Campbell
Design Considerations for Shared Memory Multiprocessor Message Systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Parallel Distrib. Syst., 1992, v:3, n:6, pp:702-711 [Journal]
- Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
Enforcing resource bounds via static verification of dynamic checks. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
Search in 0.004secs, Finished in 0.006secs
|