|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2499 occurrences of 1359 keywords
|
|
|
Results
Found 3150 publication records. Showing 3150 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Robert W. Schwanke |
An Intelligent Tool for Re-Engineering Software Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 13th International Conference on Software Engineering, Austin, TX, USA, May 13-17, 1991., pp. 83-92, 1991, IEEE Computer Society / ACM Press, 0-89791-391-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
13 | Lambert E. Wixson |
Scaling Reinforcement Learning Techniques via Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the Eighth International Workshop (ML91), Northwestern University, Evanston, Illinois, USA, pp. 368-372, 1991, Morgan Kaufmann, 1-55860-200-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Dieter Gantenbein |
Interfaces, modularity and path lengths: the costs of implementing OSI transport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings of the 16th Conference on Local Computer Networks, LCN 1991, October 14-17, 1991, Minneapolis, Minnesota, USA, pp. 452-466, 1991, IEEE Computer Society, 0-8186-2370-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Phillip M. Yelland |
Models of modularity : a study of object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
13 | Reino Kurki-Suonio |
Towards languages that support program derivation, or control modularity considered harmful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 9(3), pp. 179-192, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
13 | Alex Chernjavsky, John Moody |
Spontaneous Development of Modularity in Simple Cortical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. ![In: Neural Comput. 2(3), pp. 334-354, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | J. Steve Davis |
Effect of Modularity on Maintainability of Rule-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Man Mach. Stud. ![In: Int. J. Man Mach. Stud. 32(4), pp. 439-447, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | James W. Garson |
Modularity and Relevant Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 30(2), pp. 207-223, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Alex Waibel, Hidefumi Sawai, Kiyohiro Shikano |
Modularity and scaling in large phonemic neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Acoust. Speech Signal Process. ![In: IEEE Trans. Acoust. Speech Signal Process. 37(12), pp. 1888-1898, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
13 | L. G. Lisle |
A new process controller: a study in modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTH ![In: Proceedings of the First Annual Workshop on Forth, FORTH 1989, Austin, Texas, USA, 1989, pp. 71-79, 1989, ACM, 978-0-89791-316-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Antoni W. Mazurkiewicz |
Concurrency, Modularity, and Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings, pp. 577-598, 1989, Springer, 3-540-51486-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Alex Chernajvsky, John E. Moody |
Note on Development of Modularity in Simple Cortical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 2, [NIPS Conference, Denver, Colorado, USA, November 27-30, 1989], pp. 133-140, 1989, Morgan Kaufmann, 1-55860-100-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
13 | Ataru T. Nakagawa, Kokichi Futatsugi |
Stepwise Refinement Process with Modularity: An Algebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 11th International Conference on Software Engineering, Pittsburg, PA, USA, May 15-18, 1989., pp. 166-177, 1989, IEEE Computer Society / ACM Press, 0-8186-1941-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Bruce D'Ambrosio |
Process, structure and modularity in reasoning with uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '88: Proceedings of the Fourth Annual Conference on Uncertainty in Artificial Intelligence, Minneapolis, MN, USA, July 10-12, 1988, pp. 15-26, 1988, North-Holland, 0-444-88650-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
13 | Jocelyn S. Liu |
Modularity in the METAL system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988, pp. 464-465, 1988, IEEE, 0-8186-0873-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
13 | Janet H. Walker |
The role of modularity in document authoring systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOCPROCS ![In: Proceedings of the ACM conference on Document processing systems, DOCPROCS 1988, Santa Fe, New Mexico, USA, December 5-8, 1988, pp. 117-124, 1988, ACM, 978-0-89791-291-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
13 | David S. Moffat |
Persistance and modularity in PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
13 | J. A. S. Rowlands |
Modularity and code generation in an extended programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
13 | Ragui Kamel |
Effect of Modularity on System Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 4(1), pp. 48-54, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Geoff Whittle |
Modularity of tangential k-blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 42(1), pp. 24-35, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Elizabeth E. Katz, Victor R. Basili |
Examining the modularity of Ada programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADAS ![In: Proceedings of the Joint Ada conference Fifth National Conference on Ada Technology and Fourth Washington Ada Symposium, WADAS 1987, Arlington, Virginia, USA, 1987, pp. 390-396, 1987, George Washington University. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
13 | Job Zwiers, Willem P. de Roever |
Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 351-374, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Luc Bougé |
Modularité et symétrie pour les systèmes répartis; application au langage CSP. (Modularity and Symmetry for Distributed System; Application to the CSP Language). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1987 |
RDF |
|
13 | David Heckerman, Eric Horvitz |
The myth of modularity in rule-based systems for reasoning with uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '86: Proceedings of the Second Annual Conference on Uncertainty in Artificial Intelligence, University of Pennsylvania, Philadelphia, PA, USA, August 8-10, 1986, pp. 23-34, 1986, Elsevier, 0-444-70396-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
13 | Pierre Isabelle, Elliott Macklovitch |
Transfer and MT Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Proceedings of the 11th International Conference on Computational Linguistics, COLING '86, Bonn, Germany, August 25-29, 1986, pp. 115-117, 1986, Institut für angewandte Kommunikations- und Sprachforschung e.V. (IKS), Poppelsdorfer Allee 47, Bonn, Germany. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
13 | Michael A. Caplinger |
Structured Editor Support for Modularity and Data Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLIPE ![In: Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, SLIPE 1985, Seattle, Washington, USA, June 25-28, 1985, pp. 140-147, 1985, ACM, 978-0-89791-165-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
13 | Allan L. Fisher |
Memory and Modularity in Systolic Array Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: International Conference on Parallel Processing, ICPP'85, University Park, PA, USA, August 1985., pp. 99-101, 1985, IEEE Computer Society Press. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
13 | David Beech |
Modularity in the Design and Standardisation of Open Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 8, pp. 49-55, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
13 | Ralph-Johan Back, Heikki Mannila |
A Semantic Approach to Program Modularity ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 60(1-3), pp. 138-167, January/February/March 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
13 | Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese |
Documents Structure and Modularity in Mentor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, USA, April 23-25, 1984, pp. 141-148, 1984, ACM, 0-89791-131-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
13 | Harald Ganzinger |
Increasing Modularity and Language-Independency in Automatically Generated Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 3(3), pp. 223-278, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
13 | Michael R. Levy |
Modularity and the Sequential File Update Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 25(6), pp. 362-367, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
13 | David D. Clark |
Modularity and efficiency in protocol implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 817, pp. 1-25, July 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
13 | David Beech |
Modularity of Computer Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 12(10), pp. 929-958, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
13 | Ralph Grishman |
Conjunctions And Modularity In Language Analysis Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Proceedings of the 8th International Conference on Computational Linguistics, COLING '80, Tokyo, Japan, September 30 - October 4, 1980, pp. 500-503, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
13 | Albert L. Baker, Stuart H. Zweben |
The Use of Software Science in Evaluating Modularity Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 5(2), pp. 110-120, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
13 | Joseph F. Gloudeman |
The modularity of MSC/NASTRAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: The IEEE Computer Society's Second International Computer Software and Applications Conference, COMPSAC 1978, 13-16 November, 1978, Chicago, Illinois, USA, pp. 444-446, 1978, IEEE. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
13 | Herbert Weber |
Modularity in Data Base System Design: A Software Engineering View of Data Base Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB Surveys ![In: Issues in Data Base Management, Proceedings of the 4th VLDB (Material from the Survey Sessions), September 13-15, 1978, West Berlin, Germany., pp. 65-91, 1978, North-Holland, 0-444-85316-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP BibTeX RDF |
|
13 | Christopher Earnest |
Database Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB Surveys ![In: Issues in Data Base Management, Proceedings of the 4th VLDB (Material from the Survey Sessions), September 13-15, 1978, West Berlin, Germany., pp. 93-97, 1978, North-Holland, 0-444-85316-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP BibTeX RDF |
|
13 | Marco Bellia, Giorgio Levi |
Distributed Control, Modularity and Data Types in a Simple Parallel Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Computing Symposium ![In: International Computing Symposium 1977, Proceedings of the International Computing Symposium 1977, Liège, Belgium, 4-7 April 1977 (Preprint), pp. 441-450, 1977, North-Holland, 0-7204-0741-9. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
13 | Michael J. Spier |
A pragmatic proposal for the improvement of program modularity and reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 4(2), pp. 133-149, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
13 | Daniel P. Siewiorek |
Modularity and multi-microprocessor structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Conference record of the 7th annual workshop on Microprogramming, MICRO 1974, Palo Alto, California, USA, September 30 - October 2, 1974, pp. 186-193, 1974, ACM. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
13 | Kenneth H. O'Keefe |
Modularity in Design: Skit Registers and Counters Used as System Building Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 22(2), pp. 194-197, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
13 | T. W. Mosedale |
PENDANT-A Computerized Support to Program Modularity under Limited Memory Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 3(2), pp. 121-143, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
13 | Jack B. Dennis |
Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Course: Software Engineering ![In: Software Engineering, An Advanced Course, Reprint of the First Edition (February 21 - March 3, 1972), pp. 128-182, 1972, Springer, 3-540-07168-7. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
13 | Klaus-Peter Löhr |
Modularity of Non-Sequential Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: Gesellschaft für Informatik e.V., 2. Jahrestagung, Karlsruhe, Deutschland, 2.-4. Oktober 1972, pp. 223-232, 1972, Springer, 3-540-06127-4. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
13 | W. M. Taliaferro |
Modularity. The Key to System Growth Potential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 1(3), pp. 245-257, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
7 | Noémie Esnault, Jérôme Royan, Rémi Cozot, Christian Bouville |
A flexible framework to personalize 3D web users experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: 3D technologies for the World Wide Web, Proceedings of the 15th International Conference on Web 3D Technology, Web3D 2010, Los Angeles, California, USA, July 24-25, 2010, pp. 35-44, 2010, ACM, 978-1-4503-0209-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
languages and structures, virtual reality, graphical user interfaces, interfaces, multimedia databases, web-based interactions |
7 | Ehry MacRostie, Rohit Prasad, Stephen Rawls, Matin Kamali, Huaigu Cao, Krishna Subramanian 0001, Premkumar Natarajan |
The BBN document analysis service: a platform for multilingual document translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Document Analysis Systems ![In: The Ninth IAPR International Workshop on Document Analysis Systems, DAS 2010, June 9-11, 2010, Boston, Massachusetts, USA, pp. 447-454, 2010, ACM, 978-1-60558-773-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
OCR, machine translation, system, Arabic, layout analysis |
7 | José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh |
Optimizing generics is easy! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 33-42, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
optimization, benchmark, functional programming, haskell, generic programming |
7 | Rut Jesus |
What cognition does for Wikis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 6th International Symposium on Wikis and Open Collaboration, 2010, Gdansk, Poland, July 7-9, 2010, 2010, ACM, 978-1-4503-0056-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cognition for improvising, cognition for planning, cognitive surplus, theoretical development, collaboration, Wikis, Wikipedia |
7 | Tianyu Cao 0001, Xindong Wu 0001, Song Wang, Xiaohua Hu 0001 |
OASNET: an optimal allocation approach to influence maximization in modular social networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1088-1094, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
modular social network, optimal allocation, influence maximization |
7 | Shafagh Alikhani, Thomas Kunz, Marc St-Hilaire, Fei Richard Yu |
A central-networked cross-layer design framework for wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 301-305, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cross-layer design and optimization, wireless sensor networks, architectures, protocols, wireless channel |
7 | Trevor Jim, Yitzhak Mandelbaum, David Walker 0001 |
Semantics and algorithms for data-dependent grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 417-430, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf |
7 | Stephanie Balzer, Thomas R. Gross |
Modular reasoning about invariants over shared state with interposed data members. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010, pp. 49-56, 2010, ACM, 978-1-60558-890-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ownership type systems, invariants |
7 | Virgil D. Gligor |
Architectures for practical security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 15th ACM Symposium on Access Control Models and Technologies, SACMAT 2010, Pittsburgh, Pennsylvania, USA, June 9-11, 2010, Proceedings, pp. 161-162, 2010, ACM, 978-1-4503-0049-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
architectures |
7 | Heiko Paulheim, Atila Erdogan |
Seamless integration of heterogeneous UI components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2010, Berlin, Germany, June 19-23, 2010, pp. 303-308, 2010, ACM, 978-1-4503-0083-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ontologies, user interfaces, integration, component-based software |
7 | Michal Ficek, Tomás Pop, Petr Vlácil, Katerina Dufková, Lukas Kencl, Martin Tomek |
Performance study of active tracking in a cellular network using a modular signaling platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiSys ![In: Proceedings of the 8th International Conference on Mobile Systems, Applications, and Services (MobiSys 2010), San Francisco, California, USA, June 15-18, 2010, pp. 239-254, 2010, ACM, 978-1-60558-985-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
mobility, cellular network, GSM, SS7, active tracking |
7 | Keith R. Bisset, Jiangzhuo Chen, Xizhou Feng, Yifei Ma, Madhav V. Marathe |
Indemics: an interactive data intensive framework for high performance epidemic simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 24th International Conference on Supercomputing, 2010, Tsukuba, Ibaraki, Japan, June 2-4, 2010, pp. 233-242, 2010, ACM, 978-1-4503-0018-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parallel computation, modeling and simulation, infectious disease, interactive computation, network dynamics |
7 | Oliver Flasch, Olaf Mersmann, Thomas Bartz-Beielstein |
RGP: an open source genetic programming system for the R environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, Companion Material, pp. 2071-2072, 2010, ACM, 978-1-4503-0073-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
genetic programming, software, symbolic regression, late breaking abstract |
7 | Simon L. Jones, Eamonn O'Neill |
Feasibility of structural network clustering for group-based privacy control in social networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOUPS ![In: Proceedings of the Sixth Symposium on Usable Privacy and Security, SOUPS 2010, Redmond, Washington, USA, July 14-16, 2010, 2010, ACM, 978-1-4503-0264-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
group-based access control, privacy, social networks, automation, social media, network structure, content sharing, tie strength |
7 | Taeho Kwon, Zhendong Su 0001 |
Automatic detection of unsafe component loadings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010, pp. 107-118, 2010, ACM, 978-1-60558-823-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
unsafe component loading, dynamic analysis |
7 | Ron Weiss |
Synthetic biology: from modules to systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, Providence, Rhode Island, USA, May 16-18 2010, pp. 171-172, 2010, ACM, 978-1-4503-0012-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
genetic circuits, synthetic biology |
7 | Apurva Mohan, Douglas M. Blough |
An attribute-based authorization policy framework with dynamic conflict resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDtrust ![In: Proceedings of the 9th Symposium on Identity and Trust on the Internet, IDtrust 2010, Gaithersburg, Maryland, USA, April 13-15, 2010, pp. 37-50, 2010, ACM, 978-1-60558-895-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
attribute-based authorization, conflict resolution, authorization policy |
7 | Jer-Min Jou, Sih-Sian Wu, Yun-Lung Lee, Cheng Chou, Yuan-Long Jeang |
New model-driven design and generation of multi-facet arbiters part I: from the design model to the architecture model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 258-261, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
architecture model/template, model-driven design flow, multi-facet arbiter, granularity, design space, design model |
7 | Ben L. Titzer, Thomas Würthinger, Doug Simon, Marcelo Cintra |
Improving compiler-runtime separation with XIR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 6th International Conference on Virtual Execution Environments, VEE 2010, Pittsburgh, Pennsylvania, USA, March 17-19, 2010, pp. 39-50, 2010, ACM, 978-1-60558-910-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
lowering, runtime interface, java, software architecture, compilers, virtual machines, register allocation, object model, intermediate representations, JIT |
7 | Winslow Burleson, Camilla Nørgaard Jensen |
Slow computing gifts (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 4th International Conference on Tangible and Embedded Interaction 2010, Cambridge, MA, USA, January 24-27, 2010, pp. 376, 2010, ACM, 978-1-60558-841-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
7 | Birgit Vogel-Heuser |
Automation in the Wood and Paper Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automation ![In: Springer Handbook of Automation, pp. 1015-1026, 2009, Springer, 978-3-540-78830-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001 |
New results on rewrite-based satisfiability procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(1), pp. 4:1-4:51, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition |
7 | Xiaoming Fu 0001, Henning Schulzrinne, Hannes Tschofenig, Christian Dickmann, Dieter Hogrefe |
Overhead and performance study of the general internet signaling transport (GIST) protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 17(1), pp. 158-171, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Chitra Babu, Harshini Ramnath Krishnan |
Fault model and test-case generation for the composition of aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 34(1), pp. 1-6, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
aspect oriented programming, fault model, aspect composition, join point |
7 | Weidong Chen 0009, Wenjun Xiao, Behrooz Parhami |
Swapped (OTIS) Networks Built of Connected Basis Networks Are Maximally Fault Tolerant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(3), pp. 361-366, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Edward A. Lee, Xiaojun Liu 0001, Stephen Neuendorffer |
Classes and inheritance in actor-oriented design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 8(4), pp. 29:1-29:26, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
generalized ultrametric, overriding, components, interfaces, type systems, inheritance, Actors |
7 | Khaled M. Hammouda, Mohamed S. Kamel |
Hierarchically Distributed Peer-to-Peer Document Clustering and Cluster Summarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 21(5), pp. 681-698, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Rafal Dlugosz, Krzysztof Iniewski |
Programmable Switched Capacitor Finite Impulse Response Filter with Circular Memory Implemented in CMOS 0.18 µm Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 56(2-3), pp. 295-306, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Baseband filtering, Switched capacitor technique (SC), Finite impulse response (FIR) filter, Programmable filter, GSM, WCDMA |
7 | Carl Eastlund, Matthias Felleisen |
Toward a Practical Module System for ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 46-60, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson |
Formal Semantics Based Translator Generation and Tool Development in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia, pp. 256-266, 2009, IEEE Computer Society, 978-0-7695-3599-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Fabrício de Alexandria Fernandes, Robin Passama, Jean-Claude Royer |
Event strictness for components with complex bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009, pp. 47-56, 2009, ACM, 978-1-60558-426-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
behavioural compatibility, event strictness, structured product, communication, protocol, component, binding |
7 | Antti Tikanmäki, Juha Röning |
Development of Mörri, a high performance and modular outdoor robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 1441-1446, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Patrick Girard 0004, Jeremy Seligman |
An Analytic Logic of Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings, pp. 146-161, 2009, Springer, 978-3-540-92700-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
preference logic, lexicographic aggregation, hybrid modal logic, analytic proof theory, sequent calculus |
7 | Merja Karjalainen, Graham J. L. Kemp |
Uniform query processing in a federation of RDFS and relational resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy, pp. 315-320, 2009, ACM, 978-1-60558-402-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Javier Blesa, Pedro Malagón, Álvaro Araujo, José Manuel Moya, Juan Carlos Vallejo, Juan-Mariano de Goyeneche, Elena Romero, Daniel Villanueva, Octavio Nieto-Taladriz |
Modular Framework for Smart Home Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 695-701, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
low consumption, ZigBeeTM, air conditioning, ambient intelligence, Wireless personal area network, domotic |
7 | Alessandro Marcengo, Elena Guercio, Amon Rapp |
Personas Layering: A Cost Effective Model for Service Design in Medium-Long Term Telco Research Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Human Centered Design, First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, pp. 256-265, 2009, Springer, 978-3-642-02805-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Ethnography, User Centred Design, Personas, Focus Groups |
7 | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 |
VMIL: workshop on virtual machines and intermediate languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 701-702, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
optimization, compilation, virtual machine, interpretation, dynamic dispatch, intermediate language |
7 | Roland Ducournau, Floréal Morandat, Jean Privat |
Empirical assessment of object-oriented implementations with multiple inheritance and static typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 41-60, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
binary tree dispatch, downcast, method tables, multiple subtyping, open-world assumption, single inheritance, subtype test, virtual function table, interfaces, coloring, multiple inheritance, perfect hashing, closed-world assumption, type analysis, late binding, dynamic loading |
7 | Jian Yu, Quan Z. Sheng, Paolo Falcarin, Maurizio Morisio |
Weaving Business Processes and Rules: A Petri Net Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings, pp. 121-126, 2009, Springer, 978-3-642-01111-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Petri nets, Business process modelling, business rules, aspect-orientation |
7 | Claudia Raibulet, Luigi Ubezio, William Gobbo |
Achieving Adaptivity Through Strategies in a Distributed Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings, pp. 103-114, 2009, Springer, 978-3-642-01111-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Zongwu Xie, Jingdong Zhao, Jianbin Huang, Kui Sun, Genliang Xiong, Hong Liu 0002 |
DSP/FPGA-based highly integrated flexible joint robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 2397-2402, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Nikolaos G. Tsagarakis, Bram Vanderborght, Matteo Laffranchi, Darwin G. Caldwell |
The mechanical design of the new lower body for the child humanoid robot 'iCub'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 4962-4968, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Chongwei Du, Xiong Wang, Liyin Qiu |
Block & Comovement Effect of Stock Market in Financial Complex Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (2) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 2, pp. 1248-1260, 2009, Springer, 978-3-642-02468-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
block & comovement effect, Girvan-Newman algorithm, faction, delay-correlation, prediction, complex network, correlative coefficient, community structure |
7 | Youngdo Kim, Seung-Woo Son 0003, Hawoong Jeong |
Community Identification in Directed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (2) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 2, pp. 2050-2053, 2009, Springer, 978-3-642-02468-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
community identification method, directional information, directed networks |
7 | Taehoon Kim, Sungwoo Tak |
A real-time hardware-software codesign technique of network protocols to provide QoS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHIT ![In: Proceedings of the 2009 International Conference on Hybrid Information Technology, ICHIT 2009, Daejeon, Korea, August 27-29, 2009, pp. 67-70, 2009, ACM, 978-1-60558-662-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
QoS communications architecture, real-time scheduling, network protocols, hardware-software codesign |
7 | Frank Pfenning, Robert J. Simmons |
Substructural Operational Semantics as Ordered Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 101-110, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Angelo Paolo Castellani, Paolo Casari, Michele Zorzi |
TinyNET: a tiny network framework for TinyOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 580-585, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
modular networking framework, TinyOS, 6LowPAN |
7 | Xinyu Feng 0001 |
Local rely-guarantee reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 315-327, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning |
7 | Gudny Ragna Jonsdottir, Kristinn R. Thórisson |
Teaching Computers to Conduct Spoken Interviews: Breaking the Realtime Barrier with Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 9th International Conference, IVA 2009, Amsterdam, The Netherlands, September 14-16, 2009, Proceedings, pp. 446-459, 2009, Springer, 978-3-642-04379-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Turntaking, Natural Communication, Machine Learning, Human-Computer Interaction, Dialogue, Prosody, Realtime |
7 | Alberto Ochoa 0003, María Beatríz Bernábe Loranca, Omar Ochoa |
A Complex Networks Approach to Demographic Zonification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2009: Advances in Artificial Intelligence, 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009. Proceedings, pp. 177-188, 2009, Springer, 978-3-642-05257-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Hridesh Rajan, Jia Tao 0001, Steve M. Shaner, Gary T. Leavens |
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 333-347, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Mauro Jaskelioff |
Modular Monad Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 64-79, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Antoine Zimmermann, Ratnesh Sahay, Ronan Fox, Axel Polleres |
Heterogeneity and Context in Semantic-Web-Enabled HCLS Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part II, pp. 1165-1182, 2009, Springer, 978-3-642-05150-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
|
|