|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 351 occurrences of 264 keywords
|
|
|
Results
Found 836 publication records. Showing 836 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Tung Bui 0001, Melvin F. Shakun |
Negotiation Support Systems - Minitrack Introduction. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Pierre Lévine, Jean-Charles Pomerol |
From Business Modeling Based on the Semantics of Contracts to Knowledge Modeling and Management. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Contract-based Modeling, Knowledge Management, Business Modeling, Knowledge Modeling, Human resources Management |
11 | Xiaotie Deng, Yi Zhou, Guojun Li, Wenan Zang |
A 2-Approximation Algorithm for Path Coloring on Trees of Rings. |
ISAAC |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Willem C. Mallon |
On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism. |
ASYNC |
2000 |
DBLP DOI BibTeX RDF |
{Communicating Processes}, {Computer Aided Design}, Meta-stability, Formal Methods, Handshake Protocol, Delay-Insensitivity |
11 | Hyunyoung Lee, Jennifer L. Welch |
Specification, implementation and application of randomized regular registers (brief announcement). |
PODC |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Larbi Esmahi, Jean-Charles Bernard, Petre Dini |
MIAMAP: A Virtual Market Place for Intelligent Agents. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
Agents' cooperation, virtual market place, E-commerce, mobile agents, intelligent agents, negotiation |
11 | Christoph Koch 0001, Paolo Petta |
Coordination Issues in Multi-agent Event Data Processing. |
ESAW |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Laurent Granvilliers, Frédéric Goualard, Frédéric Benhamou |
Box Consistency through Weak Box Consistency. |
ICTAI |
1999 |
DBLP DOI BibTeX RDF |
box consistency, constraint satisfaction, constraint propagation, numerical constraint |
11 | Daniela Handl |
HotFlow - A Visual Language for Workflow Applications in E-Commerce. |
VL |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Ronald M. Lee |
Automated Generation of Electronic Procedures: Procedure Constraint Grammars. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Ada Wai-Chee Fu, Siu-Cheung Chau |
Cyclic-Cubes: A New Family of Interconnection Networks of Even Fixed-Degrees. |
IEEE Trans. Parallel Distributed Syst. |
1998 |
DBLP DOI BibTeX RDF |
generalized hypercube, fixed degree, interconnection, Cayley graphs |
11 | Stephen J. Andriole |
The Politics of Requirements Management. |
IEEE Softw. |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Jarmo Rantakokko |
Software Tools for Partitioning Block-Structured Applications. |
ISCOPE |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Robert P. Biuk-Aghai |
Customizable Software Engineering Environments for Flexible Distributed Software Teams. |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
software tool integration, JavaBeans Activation Framework, Java, collaborative work, component model, JavaBeans, distributed software engineering |
11 | Tuomas Sandholm |
Agents in Electronic Commerce: Component Technologies for Automated Negotiation and Coalition Formation. |
ICMAS |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Barbara L. Marcolin, Kerry L. McLellan |
Effective IT Outsourcing Arrangements. |
HICSS (6) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Tuomas Sandholm |
Agents in Electronic Commerce: Component Technologies for Automated Negation and Coalition Formation. |
CIA |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Anders Tallberg |
Towards Paperless Accounting Source Records: A Transaction Cost Approach. |
HICSS (6) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Randall R. Macala, Lynn D. Stuckey Jr., David C. Gross |
Managing Domain-Specific, Product-Line Development. |
IEEE Softw. |
1996 |
DBLP DOI BibTeX RDF |
|
11 | David M'Raïhi |
Cost-Effective Payment Schemes with Privacy Regulation. |
ASIACRYPT |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Martin Röscheisen, Terry Winograd |
A Communication Agreement Framework for Access/Action Control. |
S&P |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Harry M. Sneed |
Planning the Reengineering of Legacy Systems. |
IEEE Softw. |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Sergio Antoy, Aart Middeldorp |
A Sequential Reduction Strategy. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Chandrabose Aravindan, Phan Minh Dung |
Belief Dynamics, Abduction, and Database. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
belief dynamics, rationality postulates, databases, abduction, epistemology, view updates |
11 | Jan J. M. M. Rutten |
A Strucutral Co-Induction Theorem. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Udo Hahn, Matthias Jarke, Thomas Rose 0001 |
Teamwork Support in a Knowledge-Based Information Systems Environment. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
development assistance for interactive database applications, database maintenance, knowledge-based information systems, knowledge-assisted development, database-intensive information systems, DAIDA framework, conceptual modeling strategy, social strategies, groupware, software maintenance, software development, knowledge based systems, object-oriented databases, interactive systems, group work, software projects, object-oriented specification |
11 | J. W. de Bakker, Erik P. de Vink |
CCS for OO and LP. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
11 | J. W. de Bakker, J. H. A. Warmerdam |
Metric Pomset Semantics for a Concurrnt Language with Recursion. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
pomsets, metric topology, operational semantics, denotational semantics, true concurrency, proof rule |
11 | Jack G. Rudd, James A. Brown 0001 |
Toward a Common Prototyping Language. |
APL |
1990 |
DBLP DOI BibTeX RDF |
Ada, APL, DARPA |
11 | Rolf Klein |
Combinatorial Properties of Abstract Voronoi Diagrams. |
WG |
1989 |
DBLP DOI BibTeX RDF |
Abstract Voronoi diagram, Voronoi diagram, bisector |
11 | Duane A. Bailey, Janice E. Cuny |
An Approach to Programming Process Interconnections Structures: Aggregate Rewriting Graph Grammars. |
PARLE (2) |
1987 |
DBLP DOI BibTeX RDF |
|
11 | J. W. de Bakker, Joost N. Kok |
Towards a Uniform Topological Treatment of Streams and Functions on Streams. |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
11 | Howard D. Ponty |
An overview of independent, third-party computer maintenance. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
11 | George Kim Johnson |
Small computers and small investors. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
11 | Stephen N. Hollman |
A perspective of standard form contracts in the data processing industry. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
11 | John F. Banzhaf |
When your computer needs a lawyer. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
constacts, criminals, evidence copying, income tax, lawyer, liabilty, negligence, record keeping records, slander of credit, standard of care, torts, warrantees, simulation, accounting, regulations, copyrights, evidence, law, patents, legal, copying, guarantees, crime, trade secrets |
Displaying result #801 - #836 of 836 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9] |
|