|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5359 occurrences of 2759 keywords
|
|
|
Results
Found 8272 publication records. Showing 8272 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Yajie Zhu, Tai Xin, Indrakshi Ray |
Recovering from Malicious Attacks in Workflow Systems. |
DEXA |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Cleidson R. B. de Souza, Jon Froehlich, Paul Dourish |
Seeking the source: software source code as a social and technical artifact. |
GROUP |
2005 |
DBLP DOI BibTeX RDF |
data mining, social networks, socio-technical systems, software repositories |
14 | Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan |
Peer data exchange. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Fang Chu, Yizhou Wang 0001, Douglas Stott Parker Jr., Carlo Zaniolo |
Data cleaning using belief propagation. |
IQIS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Tyrone S. Toland, Csilla Farkas, Caroline M. Eastman |
Dynamic Disclosure Monitor (D2Mon): An Improved Query Processing Solution. |
Secure Data Management |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Marc Toussaint |
Factorial representations to generate arbitrary search distributions. |
GECCO Workshops |
2005 |
DBLP DOI BibTeX RDF |
search, representations, probabilistic models, genetic code |
14 | Slobodan Matic, Thomas A. Henzinger |
Trading End-to-End Latency for Composability. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Anurag Agarwal, Vijay K. Garg |
Efficient dependency tracking for relevant events in shared-memory systems. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
shared-memory, vector clock, predicate detection |
14 | David Zaretsky, Gaurav Mittal, Robert P. Dick, Prith Banerjee |
Generation of Control and Data Flow Graphs from Scheduled and Pipelined Assembly Code. |
LCPC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Nirmal Ramalingam, Sanjukta Bhanja |
Causal probabilistic input dependency learning for switching model in VLSI circuits. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
cross-talk estimation, probabilistic learning, vector compaction, Bayesian networks, power estimation |
14 | Arnold L. Rosenberg |
On Scheduling Mesh-Structured Computations for Internet-Based Computing. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Gultekin Özsoyoglu, Nevzat Hurkan Balkir, Z. Meral Özsoyoglu, Graham Cormode |
On Automated Lesson Construction from Electronic Textbooks. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
electronic textbook data models, instructional modules, lesson construction, lesson construction heuristics, lesson complexity, topics, Electronic textbooks |
14 | Yi Hu, Brajendra Panda |
A data mining approach for database intrusion detection. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
data mining, intrusion detection, database security |
14 | Karl Pauls, Richard S. Hall |
Eureka - A Resource Discovery Service for Component Deployment. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Egyed |
Resolving uncertainties during trace analysis. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Pawel Kaczmarek, Henryk Krawczyk |
Influence of Exception Handling on Distributed Applications. |
PARELEC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Michael Knoke, Felix Kühling, Armin Zimmermann, Günter Hommel |
Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Amr Awadallah, Mendel Rosenblum |
The vMatrix: Server Switching. |
FTDCS |
2004 |
DBLP DOI BibTeX RDF |
server multiplexing, server switching, load balancing, virtual machine monitor |
14 | Jun Li 0008, Keith Moore |
Exploiting Global Causality in Testing of Distributed and Component-Based Applications. |
ICSM |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Raphen Becker, Shlomo Zilberstein, Victor R. Lesser |
Decentralized Markov Decision Processes with Event-Driven Interactions. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jianjun Zhao 0001, Baowen Xu |
Measuring Aspect Cohesion. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Egyed |
A Scenario-Driven Approach to Trace Dependency Analysis. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Unified Modeling Language (UML), Traceability, software models, test scenarios |
14 | Andreas Koeller, Elke A. Rundensteiner |
Discovery of High-Dimensional. |
ICDE |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Millist W. Vincent, Jixue Liu, Chengfei Liu |
A Redundancy Free 4NF for XML. |
Xsym |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Calì, Domenico Lembo, Riccardo Rosati 0001 |
On the decidability and complexity of query answering over inconsistent and incomplete databases. |
PODS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Eric P. Xing, Wei Wu 0023, Michael I. Jordan, Richard M. Karp |
LOGOS: a modular Bayesian model for de novo motif detection. |
CSB |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Mark Goldenberg, Paul Lu, Jonathan Schaeffer |
TrellisDAG: A System for Structured DAG Scheduling. |
JSSPP |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Zhenqiang Chen, Baowen Xu, Jianjun Zhao 0001 |
An overview of methods for dependence analysis of concurrent programs. |
ACM SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
concurrent program dependence graph, program dependence analysis, concurrency, program slicing |
14 | Cyrus Shahabi, Shahram Ghandeharizadeh, Surajit Chaudhuri |
On Scheduling Atomic and Composite Continuous Media Objects. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
continuous media retrieval, multimedia, real-time scheduling, composite objects, temporal relationships, storage servers |
14 | Anasua Bhowmik, Manoj Franklin |
Exploiting Data Value Prediction in Compiler Based Thread Formation. |
HiPC |
2002 |
DBLP DOI BibTeX RDF |
data value prediction, parallelization, profiling, data dependency, thread-level parallelism (TLP), speculative multithreading (SpMT) |
14 | Peter Antal, Patrick Glenisson, Geert Fannes |
On the potential of domain literature for clustering and Bayesian network learning. |
KDD |
2002 |
DBLP DOI BibTeX RDF |
data mining, clustering, Bayesian networks, text mining |
14 | Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez |
A Hybrid Approach for SAT. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Yung-Ruei Chang, Suprasad V. Amari, Sy-Yen Kuo |
Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Brad T. Vander Zanden, Richard L. Halterman |
Using model dataflow graphs to reduce the storage requirements of constraints. |
ACM Trans. Comput. Hum. Interact. |
2001 |
DBLP DOI BibTeX RDF |
Class-instance model, dataflow constraints, language design and implementation, prototype-instance model, storage optimization, programming environments, graphical interfaces |
14 | Tsutomu Maruyama, Tsutomu Hoshino |
A C to HDL Compiler for Pipeline Processing on FPGAs. |
FCCM |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Dirk Hamann, Janne Järvinen, Andreas Birk 0001, Dietmar Pfahl |
A Product-Process Dependency Definition Method. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Kazuo J. Ezawa, Steven W. Norton |
Constructing Bayesian Networks to Predict Uncollectible Telecommunications Accounts. |
IEEE Expert |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Shaw-Yen Tseng, Chung-Ta King, Chuan Yi Tang |
Profiling Dependence Vectors for Loop Parallelization. |
IPPS |
1996 |
DBLP DOI BibTeX RDF |
linear subscript, parallel computing, parallelizing compiler, Dependence analysis, loop parallelization |
14 | José Duato |
A Theory of Deadlock-Free Adaptive Multicast Routing in Wormhole Networks. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
path-based multicast, graph theory, wormhole routing, Adaptive routing, multicomputers, virtual channels, multicast routing, deadlock avoidance |
14 | José Duato |
A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
Adaptive routing, multicomputers, virtual channels, deadlock avoidance, wormhole |
14 | Suman Kanjilal, Srimat T. Chakradhar, Vishwani D. Agrawal |
Test function embedding algorithms with application to interconnected finite state machines. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
14 | H. Rebecca Callison |
A Time-Sensitive Object Model for Real-Time Systems. |
ACM Trans. Softw. Eng. Methodol. |
1995 |
DBLP DOI BibTeX RDF |
programming techniques, real-time processing models, fault tolerance, concurrency, timing constraints, object models |
14 | Michele Boreale, Davide Sangiorgi |
A Fully Abstract Semantics for Causality in the Pi-Calculus. |
STACS |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Elisa Bertino, Claudio Bettini, Pierangela Samarati |
A Temporal Authorization Model. |
CCS |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Peter A. Flach |
Predicate Invention in Inductive Data Engineering. |
ECML |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Eric Andonoff, Christian Sallaberry, Gilles Zurfluh |
Interactive Design of Object-Oriented Databases. |
CAiSE |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Jyrki Kivinen, Heikki Mannila |
Approximate Dependency Inference from Relations. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
14 | János Demetrovics, Lajos Rónyai, Hua nam Son |
On the Composition and Decomposition of Attributes and Tuples. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Ke Wang |
Polynomial Time Designs toward Both BCNF and Efficient Data Manipulation. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Björn Lisper |
Single-Assignment Semantics for Imperative Programs. |
PARLE (2) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Hong-Men Su, Pen-Chung Yew |
On Data Synchronization for Multiprocessors. |
ISCA |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Kazuaki J. Murakami, Naohiko Irie, Morihiro Kuga, Shinji Tomita |
SIMP (Single Instruction stream/Multiple Instruction Pipelining): A Novel High-Speed Single-Processor Architecture. |
ISCA |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Ebba Thora Hvannberg, Mukkai S. Krishnamoorthy |
An object-based parallel programming assistant. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Héctor J. Hernández, Edward P. F. Chan |
A Characterization of Constant-time-mainteinability for BCNF Database Schemes. |
SIGMOD Conference |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Janice M. Stone |
Debugging Concurrent Processes: A Case Study. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
14 | V. Prasad Krothapalli, P. Sadayappan |
An approach to synchronization for parallel computing. |
ICS |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Catriel Beeri, Michael Kifer |
Elimination of intersection anomalies from database schemes. |
J. ACM |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Mark Moriconi, Dwight F. Hare |
The PegaSys System: Pictures as Formal Documentation of Large Programs. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP DOI BibTeX RDF |
PegaSys |
14 | Catriel Beeri, Michael Kifer |
An Integrated Approach to Logical Design of Relational Database Schemes. |
ACM Trans. Database Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Nadine Lerat |
Query Processing in Incomplete Logical Databases. |
ICDT |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Yehoshua Sagiv |
A Characterization of Globally Consistent Databases and Their Correct Access Paths. |
ACM Trans. Database Syst. |
1983 |
DBLP DOI BibTeX RDF |
extension join, representative instance, universal relation scheme, relational database, relational algebra, functional dependency, chase, null value |
14 | Stavros S. Cosmadakis, Christos H. Papadimitriou |
Updates of Relational Views. |
PODS |
1983 |
DBLP DOI BibTeX RDF |
|
14 | Catriel Beeri, Michael Kifer |
Elimination of Intersection Anomalies from Database Schemes. |
PODS |
1983 |
DBLP DOI BibTeX RDF |
|
14 | Carlo Zaniolo, Michel A. Melkanoff |
A Formal Approach to the Definition and the Design of Conceptual Schemata for Database Systems. |
ACM Trans. Database Syst. |
1982 |
DBLP DOI BibTeX RDF |
|
14 | Raymond Fadous |
A hierarchical method for synthesizing relations. |
ACM Southeast Regional Conference |
1982 |
DBLP DOI BibTeX RDF |
functional dependency, relational model, database schema, third normal form |
14 | Tomasz Imielinski, Witold Lipski Jr. |
A Systematic Approach to Relational Database Theory. |
SIGMOD Conference |
1982 |
DBLP DOI BibTeX RDF |
|
14 | Alan M. Thompson |
Logical Support in a Time-Varying Model. |
CADE |
1980 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Riebisch, Stephan Bode, Qurat-ul-ann Farooq, Steffen Lehnert |
Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository. |
ECBS |
2011 |
DBLP DOI BibTeX RDF |
inter-model dependencies, model interconnection, dependency, traceability, repository, model-based development |
13 | Ashkan Sami, Seyed Mostafa Fakhrahmad |
Design-level metrics estimation based on code metrics. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
approximate dependencies, software metrics, parameter estimation, fuzzy classification, software defect prediction |
13 | Marcelo Cataldo |
Sources of errors in distributed development projects: implications for collaborative tools. |
CSCW |
2010 |
DBLP DOI BibTeX RDF |
dependencies, experience, errors, concurrent engineering, collaborative tools, distributed development |
13 | Thomas Zimmermann 0001, Nachiappan Nagappan, Laurie A. Williams |
Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
Complexity, Metrics, Prediction, Dependencies, Coverage, Vulnerabilities, Organizational Structure, Churn |
13 | Matthias Winkler, Thomas Springer 0001, Alexander Schill |
Automating Composite SLA Management Tasks by Exploiting Service Dependency Information. |
ECOWS |
2010 |
DBLP DOI BibTeX RDF |
composite SLA management, service dependencies, business processes, Internet of Services |
13 | Marko Samer, Stefan Szeider |
Backdoor Sets of Quantified Boolean Formulas. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Backdoor sets, Variable dependencies, Parameterized complexity, Quantified Boolean formulas |
13 | Verónica Dahl, Erez Maharshak |
DNA Replication as a Model for Computational Linguistics. |
IWINAC (1) |
2009 |
DBLP DOI BibTeX RDF |
DNA replication, long distance dependencies, synthesis, analysis, computational linguistics, molecular biology, constraint handling rules |
13 | Krzysztof Wnuk, Björn Regnell, Claes Schrewelius |
Architecting and Coordinating Thousands of Requirements - An Industrial Case Study. |
REFSQ |
2009 |
DBLP DOI BibTeX RDF |
Large-scale requirements engineering, Requirements repositories, Requirements dependencies, Requirements architect, Empirical study |
13 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
A general datalog-based framework for tractable query answering over ontologies. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, complexity, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase |
13 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
Datalog±: a unified approach to ontologies and integrity constraints. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, complexity, databases, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase |
13 | Jörg Kienzle, Wisam Al Abed, Jacques Klein |
Aspect-oriented multi-view modeling. |
AOSD |
2009 |
DBLP DOI BibTeX RDF |
aspect dependencies, binding, class diagram, sequence diagram, aspect-oriented modeling, state diagram, instantiation |
13 | Alberto Sardinha, Ruzanna Chitchyan, Nathan Weston, Phil Greenwood, Awais Rashid |
EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Conflicting Dependencies, Requirements Composition, Requirements Analysis, Aspect-Oriented Software Development, Aspect-Oriented Requirements Engineering |
13 | Narasimha Bolloju, Sherry X. Sun |
Enhancing the quality of use case models and activity diagrams using a differential quality model. |
DESRIST |
2009 |
DBLP DOI BibTeX RDF |
quality dependencies, activity diagrams, use case models |
13 | Haibing Lu, Yingjiu Li |
Practical Inference Control for Data Cubes. |
IEEE Trans. Dependable Secur. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Data dependencies, Inference engines |
13 | Radim Belohlávek, Vilém Vychodil |
Adding background knowledge to formal concept analysis via attribute dependency formulas. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
attribute dependencies, completeness, formal concept analysis, background knowledge, entailment |
13 | Lamia Djoudi, Leïla Kloul |
Assembly Code Analysis Using Stochastic Process Algebra. |
EPEW |
2008 |
DBLP DOI BibTeX RDF |
Performance analysis, Stochastic process algebra, Assembly code, Data dependencies graph, Code optimisation |
13 | Jörn Sprado, Björn Gottfried |
Grammar-Based Argument Construction. |
KES (1) |
2008 |
DBLP DOI BibTeX RDF |
argument construction, cross-serial dependencies, historical theories, historical information sources, Formal grammars |
13 | Bogdan Simion, Catalin Adrian Leordeanu, Florin Pop, Valentin Cristea |
A Hybrid Algorithm for Scheduling Workflow Applications in Grid Environments (ICPDP). |
OTM Conferences (2) |
2007 |
DBLP DOI BibTeX RDF |
Tasks Dependencies, Workflow Applications, MonALISA, Grid Scheduling, DAG Scheduling |
13 | Cleidson R. B. de Souza, Tobias Hildenbrand, David F. Redmiles |
Toward Visualization and Analysis of Traceability Relationships in Distributed and Offshore Software Development Projects. |
SEAFOOD |
2007 |
DBLP DOI BibTeX RDF |
Traceability Relationships, Distributed and Global Software Development, Visualization, Dependencies, Offshore Software Development |
13 | Shiow-Yang Wu, Yu-tse Chang |
A User-Centered Approach to Active Replica Management in Mobile Environments. |
IEEE Trans. Mob. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Dynamic replication, user profiles, data dependencies, mobile data management |
13 | Deepak Advani, Youssef Hassoun, Steve Counsell |
Extracting refactoring trends from open-source software and a possible solution to the 'related refactoring' conundrum. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
object-oriented, dependencies, tool, refactoring, empirical analysis |
13 | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa 0001 |
Data exchange: getting to the core. |
ACM Trans. Database Syst. |
2005 |
DBLP DOI BibTeX RDF |
computational complexity, data integration, dependencies, data exchange, core, conjunctive queries, chase, query answering, Certain answers, universal solutions |
13 | Liguo Yu, Srini Ramaswamy |
Categorization of common coupling in kernel based software. |
ACM Southeast Regional Conference (2) |
2005 |
DBLP DOI BibTeX RDF |
definition-use analysis, kernel-based software, dependencies, modularity, common coupling |
13 | Virginia Dignum, Frank Dignum |
Task and social coordination in agent organizations. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
coordination, dependencies, roles |
13 | Björn Brodén, Mikael Hammar, Bengt J. Nilsson |
Online and Offline Algorithms for the Time-Dependent TSP with Time Zones. |
Algorithmica |
2004 |
DBLP DOI BibTeX RDF |
The traveling salesman problem, The orienteering problem, Online algorithms, Time dependencies |
13 | Marcelo Arenas, Leonid Libkin |
A normal form for XML documents. |
ACM Trans. Database Syst. |
2004 |
DBLP DOI BibTeX RDF |
design, functional dependencies, normal form, DTDs, XML data |
13 | Debra E. VanderMeer, Anindya Datta, Kaushik Dutta, Krithi Ramamritham, Shamkant B. Navathe |
Mobile User Recovery in the Context of Internet Transactions. |
IEEE Trans. Mob. Comput. |
2003 |
DBLP DOI BibTeX RDF |
user recovery, parametric dependencies, dependent component action graph, Internet, Mobile, transaction, interaction model, ACID properties |
13 | Stephen R. Schach, Bo Jin, David R. Wright 0002, Gillian Z. Heller, A. Jefferson Offutt |
Quality Impacts of Clandestine Common Coupling. |
Softw. Qual. J. |
2003 |
DBLP DOI BibTeX RDF |
clandestine coupling, dependencies, Linux, open-source software, coupling, common coupling |
13 | Elizabeth F. Churchill, Les Nelson |
Tangibly simple, architecturally complex: evaluating a tangible presentation aid. |
CHI Extended Abstracts |
2002 |
DBLP DOI BibTeX RDF |
hidden dependencies, evaluation, tangible interfaces, presentations |
13 | S. K. Michael Wong, Cory J. Butz |
Constructing the Dependency Structure of a Multiagent Probabilistic Network. |
IEEE Trans. Knowl. Data Eng. |
2001 |
DBLP DOI BibTeX RDF |
dependency structure, multiagent systems, data dependencies, probabilistic reasoning, conditional independence, Probabilistic networks |
13 | H. Van Dyke Parunak, James Odell |
Representing social structures in UML. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
AALAADIN, holarchy, UML, UML, protocols, dependencies, organizations, AUML |
13 | Janusz W. Laski, William Stanley, Pawel Podgorski |
Beyond ASIS: program data bases and tool-oriented queries. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
program data bases, verification, testing, Ada, static analysis, Software, queries, dynamic analysis, program dependencies, ASIS |
13 | Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Steven Dawson |
Modeling and Analysis of Interactions in Virtual Enterprises. |
RIDE |
1999 |
DBLP DOI BibTeX RDF |
transaction logic, security, verification, workflows, mediation, Virtual enterprises, temporal dependencies |
|
|