|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1355 occurrences of 878 keywords
|
|
|
Results
Found 1550 publication records. Showing 1550 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Yi Jiao, Baifeng Wu, Kun Zhu 0005, Qiang Yu |
Towards a Systematic Conflict Resolution Policy in Multi-agent System: A Conceptual Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected papers) ![In: Computer Supported Cooperative Work in Design II, 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers, pp. 274-283, 2005, Springer, 3-540-32969-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Andrew Ayers, Richard Schooler, Chris Metcalf, Anant Agarwal, Junghwan Rhee, Emmett Witchel |
TraceBack: first fault diagnosis by reconstruction of distributed control flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 201-212, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fault diagnosis, instrumentation |
15 | Dovile Vojevodina, Genadijus Kulvietis, Paul Bindokas |
The Method for E-business Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA ![In: Proceedings of the Fifth International Conference on Intelligent Systems Design and Applications (ISDA 2005), 8-10 September 2005, Wroclaw, Poland, pp. 203-208, 2005, IEEE Computer Society, 0-7695-2286-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Takeshi Yamamoto, Hirokazu Taki, Noriyuki Matsuda, Hirokazu Miura, Satoshi Hori, Noriyuki Abe |
Constructive Induction-Based Clustering Method for Ubiquitous Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (4) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV, pp. 136-142, 2005, Springer, 3-540-28897-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Chen Fu, Barbara G. Ryder |
Navigating error recovery code in Java applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eTX ![In: Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, ETX 2005, San Diego, California, USA, October 16-17, 2005, pp. 40-44, 2005, ACM, 1-59593-342-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Holger Brocks, Henning Meyer, Thomas Kamps |
Flexible Exception Handling in a Multi-Agent Enactment Model for Knowledge-Intensive Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Compiegne, France, September 19-22, 2005, pp. 479-482, 2005, IEEE Computer Society, 0-7695-2416-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen |
Building Verification Condition Generators by Compositional Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 220-230, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
modular verification, verification tool, verification technique |
15 | John C. Goodale, Gary M. Thompson |
A Comparison of Heuristics for Assigning Individual Employees to Labor Tour Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 128(1-4), pp. 47-63, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
individual productivity, labor scheduling, tour scheduling, simulated annealing |
15 | Xiaogang Qiu, Michel Dubois 0001 |
Tolerating Late Memory Traps in Dynamically Scheduled Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(6), pp. 732-743, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Christof Fetzer, Pascal Felber, Karin Högstedt |
Automatic Detection and Masking of Nonatomic Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(8), pp. 547-560, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Albert Ko, Henry Y. K. Lau, T. L. Lau |
An Immuno Control Framework for Decentralized Mechatronic Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARIS ![In: Artificial Immune Systems, Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004, pp. 91-105, 2004, Springer, 3-540-23097-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Mizuho Iwaihara, Haiying Jiang, Yahiko Kambayashi |
An integrated model of workflows, e-contracts and solution implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1390-1395, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
workflows, business process, e-contract |
15 | John Power |
Canonical Models for Computational Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 438-452, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Daniel A. Keim, Jörn Schneidewind, Mike Sips |
CircleView: a new approach for visualizing time-related multidimensional data sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2004, Gallipoli, Italy, May 25-28, 2004, pp. 179-182, 2004, ACM Press, 1-58113-867-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
advanced visual interface, continuos data streams, information visualization, visual data mining |
15 | Hernâni Mourão, Pedro Antunes 0001 |
Exception Handling Through a Workflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS/DOA/ODBASE (1) ![In: On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part I, pp. 37-54, 2004, Springer, 3-540-23663-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Marco Brambilla 0001, Nicola D'Elia |
Exception Handling Within Workflow-Based Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings, pp. 103-117, 2004, Springer, 3-540-22511-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Patrick C. K. Hung, Dickson K. W. Chiu |
Developing Workflow-Based Information Integration (WII) with Exception Support in a Web Services Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Minhong Wang 0001, Huaiqing Wang, Kwok Kit Wan, Dongming Xu |
Knowledge-Based Exception Handling in Securities Transaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Richard Carlsson, Björn Gustavsson, Patrik Nyblom |
Erlang's exception handling revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004, pp. 16-26, 2004, ACM, 1-58113-918-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
semantics, exception handling, erlang |
15 | Barbara G. Ryder, Mary Lou Soffa |
Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 38(6), pp. 16-22, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Barbara G. Ryder, Mary Lou Soffa |
Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 28(4), pp. 29-35, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Martin P. Robillard, Gail C. Murphy |
Static analysis to support the evolution of exception structure in object-oriented systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 12(2), pp. 191-221, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
exception flow, exception structure, static analysis, exception handling, Error handling, program evolution |
15 | James C. Dehnert, Brian Grant, John P. Banning, Richard Johnson, Thomas Kistler, Alexander Klaiber, Jim Mattson |
The Transmeta Code Morphing - Software: Using Speculation, Recovery, and Adaptive Retranslation to Address Real-Life Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 23-26 March 2003, San Francisco, CA, USA, pp. 15-24, 2003, IEEE Computer Society, 0-7695-1913-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Constanze Ulmer-Eilfort |
Private Copying and Levies for Information- and Communication-Technologies and Storage Media in Europe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Rights Management ![In: Digital Rights Management - Technological, Economic, Legal and Political Aspects, pp. 447-461, 2003, Springer, 3-540-40465-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Bill J. Ellis, Andrew Ireland |
Automation for Exception Freedom Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 343-346, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Liangzhao Zeng, Jun-Jang Jeng, Santhosh Kumaran, Jayant Kalagnanam |
Reliable Execution Planning and Exception Handling for Business Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TES ![In: Technologies for E-Services, 4th International Workshop, TES 2003, Berlin, Germany, September 8, 2003, Proceedings, pp. 119-130, 2003, Springer, 3-540-20052-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Christoforos E. Kozyrakis, David A. Patterson 0001 |
Overcoming the Limitations of Conventional Vector Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 30th International Symposium on Computer Architecture (ISCA 2003), 9-11 June 2003, San Diego, California, USA, pp. 399-409, 2003, IEEE Computer Society, 0-7695-1945-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Steffen E. Seufert |
Der Entwurf strukturierter rollenbasierter Zugriffskontrollmodelle, Ein formaler Ansatz zur Ableitung von Zugriffsrechten aus der Aufbauorganisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 17(1), pp. 1-11, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Zugriffskontrolle, rollenbasierte Zugriffskontrolle, Autorisation, IT-Sicherheit, Sicherheitsstrategie |
15 | David Chen, Robin Cohen |
AERO: An Outsourced Approach to Exception Handling in Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 15th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2002, Calgary, Canada, May 27-29, 2002, Proceedings, pp. 16-30, 2002, Springer, 3-540-43724-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Cuiping Li 0001, Sheng-En Li, Shan Wang 0001, Xiaoyong Du 0001 |
Efficient Constraint-Based Exploratory Mining on Large Data Cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002, Proceedings, pp. 381-392, 2002, Springer, 3-540-43704-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Erik M. Nystrom, Ronald D. Barnes, Matthew C. Merten, Wen-mei W. Hwu |
Code Reordering and Speculation Support for Dynamic Optimization System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 2001 International Conference on Parallel Architectures and Compilation Techniques (PACT 2001), 8-12 September 2001, Barcelona, Spain, pp. 163-174, 2001, IEEE Computer Society, 0-7695-1363-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Michael Johnson, Robert D. Rosebrugh, Christopher N. G. Dampney |
View updates in a semantic data modelling paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADC ![In: Twelfth Australasian Database Conference, ADC2001, Bond University, Queensland, Australia, January 29 - February 1, 2001, pp. 29-36, 2001, IEEE Computer Society, 0-7695-0966-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
data model, category theory, semantic data modelling, view update |
15 | Alexander B. Romanovsky |
Looking Ahead in Atomic Actions with Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 20th Symposium on Reliable Distributed Systems (SRDS 2001), 28-31 October 2001, New Orleans, LA, USA, pp. 142-151, 2001, IEEE Computer Society, 0-7695-1366-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Guy Even, Wolfgang J. Paul |
On the Design of IEEE Compliant Floating Point Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(5), pp. 398-413, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
floating-point rounding, floating-point arithmetic, IEEE 754 Standard, floating-point addition |
15 | Charles P. Shelton, Philip Koopman, Kobey Devale |
Robustness Testing of the Microsoft Win32 API. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 261-270, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
software robustness testing, Windows vs. Linux, exception handling |
15 | Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo |
Exception Handling and Resolution for Transactional Object Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Exception Handling Techniques ![In: Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), pp. 165-180, 2000, Springer, 3-540-41952-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Casati, Gianpaolo Cugola |
Error Handling in Process Support Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Exception Handling Techniques ![In: Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), pp. 251-270, 2000, Springer, 3-540-41952-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Jørgen Lindskov Knudsen |
Fault Tolerance and Exception Handling in BETA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Exception Handling Techniques ![In: Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), pp. 1-17, 2000, Springer, 3-540-41952-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Anand R. Tripathi, Robert Miller 0002 |
Exception Handling in Agent-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Exception Handling Techniques ![In: Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), pp. 128-146, 2000, Springer, 3-540-41952-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Eugene Goldberg, Alexander Saldanha |
Timing Analysis with Implicitly Specified False Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 13th International Conference on VLSI Design (VLSI Design 2000), 4-7 January 2000, Calcutta, India, pp. 518-522, 2000, IEEE Computer Society, 0-7695-0487-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
known false paths, implicit false path representation, timing analysis, breadth-first search |
15 | Rogério de Lemos, Alexander B. Romanovsky |
Exception Handling in a Cooperative Object-Oriented Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), May 2-5, 1999, Saint Malo, France, pp. 3-13, 1999, IEEE Computer Society, 0-7695-0207-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Liz Whiting, Mike Hill |
Safety Analysis of Hawk in Flight Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999, pp. 32-38, 1999, ACM, 1-58113-137-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Sozo Inoue, Mizuho Iwaihara |
Adapting Transactions to Exceptional Situations Using Structured Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DANTE ![In: 1999 International Symposium on Database Applications in Non-Traditional Environments (DANTE '99), 28-30 November 1999, Kyoto, Japan, pp. 351-358, 1999, IEEE Computer Society, 0-7695-0496-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
structured message, communication, transaction, collaborative work |
15 | Jie Xu 0007, Alexander B. Romanovsky, Brian Randell |
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 18th International Conference on Distributed Computing Systems, Amsterdam, The Netherlands, May 26-29, 1998, pp. 12-21, 1998, IEEE Computer Society, 0-8186-8292-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
coordinated exception handling, exception resolution, nested atomic actions, Concurrent programs, distributed object systems |
15 | Claus Hagen, Gustavo Alonso |
Flexible Exception Handling in the OPERA Process Support System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 18th International Conference on Distributed Computing Systems, Amsterdam, The Netherlands, May 26-29, 1998, pp. 526-533, 1998, IEEE Computer Society, 0-8186-8292-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
advanced transactions, fault tolerance, exception handling, workflow management, process support systems |
15 | Yujian Zhou, Jue Wang |
Rule+Exception Modeling Based on Rough Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, First International Conference, RSCTC'98, Warsaw, Poland, June 22-26, 1998, Proceedings, pp. 529-536, 1998, Springer, 3-540-64655-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Jian Tang 0001, San-Yih Hwang |
A Scheme to Specify and Implement Ad-Hoc Recovery in Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'98, 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998, Proceedings, pp. 484-498, 1998, Springer, 3-540-64264-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Jian Zhang, Howard J. Hamilton |
Learning English Syllabification for Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings, pp. 177-186, 1997, Springer, 3-540-63614-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Guy Even, Wolfgang J. Paul |
On the Design of IEEE Compliant Floating Point Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 13th Symposium on Computer Arithmetic (ARITH-13 '97), 6-9 July 1997, Asilomar, CA, USA, pp. 54-63, 1997, IEEE Computer Society, 0-8186-7846-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
floating point arithmetic, rounding, floating point unit |
15 | Keith I. Farkas, Norman P. Jouppi, Paul Chow |
Register File Design Considerations in Dynamically Scheduled Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Second International Symposium on High-Performance Computer Architecture, San Jose, CA, USA, February 3-7, 1996, pp. 40-51, 1996, IEEE Computer Society, 0-8186-7237-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
dynamic scheduling, register files, register renaming |
15 | Paulo Barthelmess, Jacques Wainer |
WorkFlow systems: a few definitions and a few suggestions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COOCS ![In: Proceedings of the Conference on Organizational Computing Systems, COOCS 1995, Milpitas, California, USA, August 13-16, 1995, pp. 138-147, 1995, ACM, 978-0-89791-706-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | I-Lung Kao, Randy Chow |
Enforcing complex security policies for commercial applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 402-408, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
complex security policy enforcement, commercial applications, complex access control policies, multilevel security model, systematic frequently-desired multilevel exception categorization, commercial sectors, classified categories, Boolean functions, exception handling, security of data, authorisation, Boolean expressions |
15 | Chandramohan A. Thekkath, Henry M. Levy |
Hardware and Software Support for Efficient Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VI Proceedings - Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 4-7, 1994., pp. 110-119, 1994, ACM Press, 0-89791-660-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Qian Cui, John D. Gannon |
Data-Oriented Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(5), pp. 393-401, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
normal algorithmic processing, error processing, control features, source text, data-oriented exception handling, data structures, Ada, programming, programming languages, declarations, data objects, Ada programs |
15 | David Bernstein, Michael Rodeh, Shmuel Sagiv |
Proving Safety of Speculative Load Instructions at Compile Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 56-72, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Richard A. McBride, Jacob Slonim |
Control and responsiveness in Hermes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, October 28-30, 1991, Toronto, Ontario, Canada, pp. 197-203, 1991, IBM. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
15 | Flaviu Cristian |
Robust Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 215-254, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
Key-words and phrases Data Abstraction, Partial Operations, Total Operations, Software Engineering, Program Verification, Exception Handling |
8 | Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta |
Security validation tool for business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 16th ACM Symposium on Access Control Models and Technologies, SACMAT 2011, Innsbruck, Austria, June 15-17, 2011, Proceedings, pp. 143-144, 2011, ACM, 978-1-4503-0688-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
8 | Byoungyoung Lee, Yuna Kim, Jong Kim 0001 |
binOb+: a framework for potent and stealthy binary obfuscation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010, pp. 271-281, 2010, ACM, 978-1-60558-936-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
binary obfuscation, stealth, windows SEH, reverse engineering, exception handling |
8 | Adam Chlipala |
A verified compiler for an impure functional language. ![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. 93-106, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
compiler verification, interactive proof assistants |
8 | Muhammad Bilal Anwer, Murtaza Motiwala, Muhammad Mukarram Bin Tariq, Nick Feamster |
SwitchBlade: a platform for rapid deployment of network protocols on programmable hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2010 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, New Delhi, India, August 30 -September 3, 2010, pp. 183-194, 2010, ACM, 978-1-4503-0201-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
network virtualization, NetFPGA |
8 | Syed Sajid Hussain |
Integrating end-user support and negotiations to specify requirements for context-based adaptations in a collaboration environment. ![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. 329-332, 2010, ACM, 978-1-4503-0083-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
collaborative conflict management, contextual and situation-based collaboration, requirement engineering in collaboration environments, socio technical information spaces, end-user support |
8 | Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer |
Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 13-24, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dynamic analysis, context sensitivity, bug detection |
8 | Erik Wästlund, Kay Sponseller, Ola Pettersson |
What you see is where you go: testing a gaze-driven power wheelchair for individuals with severe multiple disabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the 2010 Symposium on Eye-Tracking Research & Applications, ETRA 2010, Austin, Texas, USA, March 22-24, 2010, pp. 133-136, 2010, ACM, 978-1-60558-994-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
eyes-only interaction, smart wheelchair |
8 | Olivier Coudert |
An efficient algorithm to verify generalized false paths. ![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. 188-193, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
co-sensitization, generalized false path, timing exception, formal verification, correctness, SAT, sensitization, false path, SDC |
8 | Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao |
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(2), pp. 238-249, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fault tolerant, distributed system, formal methods, exception handling |
8 | Matt Blaze, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee |
Dynamic Trust Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 42(2), pp. 44-52, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Markus Grassl, T. Aaron Gulliver |
On circulant self-dual codes over small fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 52(1), pp. 57-81, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 94B05, 94B65, 94B60 |
8 | Francisco Casacuberta, Jorge Civera, Elsa Cubel, Antonio L. Lagarda, Guy Lapalme, Elliott Macklovitch, Enrique Vidal 0001 |
Human interaction for high-quality machine translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 52(10), pp. 135-138, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Mathias Ricken, Robert Cartwright |
ConcJUnit: unit testing for concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009, pp. 129-132, 2009, ACM, 978-1-60558-598-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java, concurrent programming, unit testing, JUnit |
8 | Rohit Parikh |
Knowledge and Structure in Social Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 1-12, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Algorithms, Knowledge, Society |
8 | Paulo Santos 0001, Hannah M. Dee, Valquiria Fenelon |
Qualitative robot localisation using information from cast shadows. ![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. 220-225, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Kazi Zakia Sultana, Anupam Bhattacharjee, Mohammad Shafkat Amin, Hasan M. Jamil |
A Model for Contextual Cooperative Query Answering in E-Commerce Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings, pp. 25-36, 2009, Springer, 978-3-642-04956-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Javier-Alfonso Espinosa-Oviedo, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet |
Non-functional properties and services coordination using contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy, pp. 307-310, 2009, ACM, 978-1-60558-402-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reliable services-coordination, contract, non-functional properties |
8 | Agastya Nanda, Mangala Gowri Nanda |
Gaining insight into programs that analyze programs: by visualizing the analyzed program. ![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. 1023-1030, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
visualization, analysis |
8 | Samvida Nanda, Soumya Ramasubramaniam, Sumana Ramasubramaniam, Agastya Nanda, Mangala Gowri Nanda |
The puppet and the probe. ![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. 1043-1044, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
visualization, analysis |
8 | Yale N. Patt |
Multi-core demands multi-interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 14-18 February 2009, Raleigh, North Carolina, USA, pp. 147-148, 2009, IEEE Computer Society, 978-1-4244-2932-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | 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 |
|
8 | Song Fu, Cheng-Zhong Xu 0001 |
Proactive Resource Management for Failure Resilient High Performance Computing Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 257-264, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Hua Wang 0008, Ke Zhou 0001, Ling Yuan |
Fault-Tolerant Online Backup Service: Formal Modeling and Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAS ![In: International Conference on Networking, Architecture, and Storage, NAS 2009, 9-11 July 2009, Zhang Jia Jie, Hunan, China, pp. 452-460, 2009, IEEE Computer Society, 978-0-7695-3741-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Olli Sjöblom |
Data Refining for Text Mining Process in Aviation Safety Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I3E ![In: Software Services for e-Business and e-Society, 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings, pp. 415-426, 2009, Springer, 978-3-642-04279-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Flight Safety, Data Mining, Text Mining |
8 | Changbin Ji, Zhenyu Chen 0001, Baowen Xu, Ziyuan Wang |
A New Mutation Analysis Method for Testing Java Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2, pp. 556-561, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Marcello Balduccini |
Splitting a CR-Prolog Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 17-29, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 430-436, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Ivan B. Vermeulen, Sander M. Bohté, Peter A. N. Bosman, Sylvia G. Elkhuizen, Piet J. M. Bakker, Johannes A. La Poutré |
Optimization of Online Patient Scheduling with Urgencies and Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings, pp. 71-80, 2009, 978-3-642-02975-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook |
Remote Batch Invocation for Compositional Object Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 595-617, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | S. Hossein Sadat-Mohtasham, H. James Hoover |
Transactional pointcuts: designation reification and advice of interrelated join points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings, pp. 35-44, 2009, ACM, 978-1-60558-494-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
transactional pointcut, aspect-oriented programming, join point model |
8 | Arun K. Majumdar, John F. Sowa |
Two Paradigms Are Better Than One, and Multiple Paradigms Are Even Better. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings, pp. 32-47, 2009, Springer, 978-3-642-03078-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
agents, NLP, reasoning, conceptual graphs, paradigms |
8 | Marc Fischlin, Dominique Schröder |
Security of Blind Signatures under Aborts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2009, 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings, pp. 297-316, 2009, Springer, 978-3-642-00467-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Joshua R. Davis, Zachary Goldman, Jacob Hilty, Elizabeth N. Koch, David Liben-Nowell, Alexa Sharp, Tom Wexler, Emma Zhou |
Equilibria and Efficiency Loss in Games on Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (4) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 82-89, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Gabriela F. Cretu-Ciocarlie, Angelos Stavrou, Michael E. Locasto, Salvatore J. Stolfo |
Adaptive Anomaly Detection via Self-calibration and Dynamic Updating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 12th International Symposium, RAID 2009, Saint-Malo, France, September 23-25, 2009. Proceedings, pp. 41-60, 2009, Springer, 978-3-642-04341-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
self-update, anomaly detection, self-calibrate, sanitization |
8 | David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris |
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 137-153, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Gordon J. Pace, Gerardo Schneider |
Challenges in the Specification of Full Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 292-306, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Zornitza Racheva, Maya Daneva, Klaas Sikkel |
Value Creation by Agile Projects: Methodology or Mystery? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product-Focused Software Process Improvement, 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings, pp. 141-155, 2009, Springer, 978-3-642-02151-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
agile development, business value, systematic review |
8 | Daniel Marino, Todd D. Millstein |
A generic type-and-effect system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009, pp. 39-50, 2009, ACM, 978-1-60558-420-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
type-and-effect systems |
8 | Khaled Gaaloul, François Charoy, Andreas Schaad |
Modelling task delegation for human-centric eGovernment workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
D.GO ![In: Proceedings of the 10th Annual International Conference on Digital Government Research, Partnerships for Public Innovation, DG.O 2009, Puebla, Mexico, May 17-20, 2009, pp. 79-87, 2009, Digital Government Research Center, 978-1-60558-535-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
access control, workflow, delegation, task, eGovernment |
8 | Li-Chih Wang, Sian-Kun Lin, Li-Ping Huang |
A RFID Based Agile Manufacturing Planning and Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 441-451, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Manufacturing Planning and Control, RFID, Multi-agent |
8 | Agoston Petz, Justin Enderle, Christine Julien 0001 |
A framework for evaluating DTN mobility models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009, pp. 94, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
delay tolerant networks, mobility models, OMNeT++ |
8 | Alexander Lux, Heiko Mantel |
Declassification with Explicit Reference Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings, pp. 69-85, 2009, Springer, 978-3-642-04443-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Mohamed Boukhebouze, Youssef Amghar, Aïcha-Nabila Benharkat, Zakaria Maamar |
A Rule-Based Modeling for the Description of Flexible and Self-healing Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009. Proceedings, pp. 15-27, 2009, Springer, 978-3-642-03972-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
flexible modeling, Change impact and self-healing of business process, Business processes modeling, business rules |
Displaying result #801 - #900 of 1550 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|