|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14337 occurrences of 6178 keywords
|
|
|
Results
Found 17291 publication records. Showing 17291 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Tyng-Yeu Liang, Yen-Tso Liu, Ce-Kuen Shieh, Chun-Yi Wu |
A New Approach to Distribute Program Workload on Software DSM Clusters. |
ISPAN |
2004 |
DBLP DOI BibTeX RDF |
memory capabilities, distributed shared memory, computational power, workload distribution |
19 | Chen Li 0001, Edward Y. Chang |
Answering queries with useful bindings. |
ACM Trans. Database Syst. |
2001 |
DBLP DOI BibTeX RDF |
Datalog programs, information-integration systems, limited source capabilities, query containment |
19 | Bettina Berendt, Myra Spiliopoulou |
Analysis of Navigation Behaviour in Web Sites Integrating Multiple Information Systems. |
VLDB J. |
2000 |
DBLP DOI BibTeX RDF |
Web query interfaces, Query capabilities, Conceptual hierarchies, Data mining, Web usage mining, Web databases |
19 | Kuen-Jong Lee, Cheng-I Huang |
A hierarchical test control architecture for core based design. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
hierarchical test control architecture, SOC design, IEEE P1500 Working Group, test standard, IEEE 1149.1 cores, parallel testing capabilities, hierarchical test control mechanism, deeply embedded cores, hierarchical test access, integrated circuit testing, design for testability, automatic testing, application specific integrated circuits, IEEE standards, test architecture, core based design |
19 | Miguel Antunes, António Rito Silva |
Using Separation and Composition of Concerns to Build Multiuser Virtual Environments. |
CRIWG |
2000 |
DBLP DOI BibTeX RDF |
composition of concerns, multiuser virtual environments, engineering domain aspects, graphics capabilities, processing power, MUVE systems, continuous technology, software engineering separation of concerns approach, future system evolution, concerns composition, distributed systems, virtual reality, groupware, cooperative work, expressive power, network bandwidth, requirements evolution, MUVE, complex task |
19 | Yolanda Villate, Evaggelia Pitoura, Arantza Illarramendi, Ahmed K. Elmagarmid |
Extending the Data Services of Mobile Computers by External Data Lockers. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
external data lockers, dedicated disk space, fixed network, battery power savings, mobile computer capabilities, mobile computing, mobile computers, mobile devices, mobile agents, wireless communications, data protection, communication optimizations, mobile users, data services, storage capacity, middleware architecture |
19 | Pascal Chevochot, Isabelle Puaut |
Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
holistic schedulability analysis, fault-tolerant real time distributed run-time support, application tasks, distributed dependable hard real time applications, tick scheduler, unreliable communication protocol, multiple tasks, real-time systems, fault tolerant computing, processor scheduling, schedulability analysis, multiprogramming, hard real time system, run-time support, run-time supports, fault tolerance capabilities, temporal behavior, real time kernel, feasibility test |
19 | Denys Proux, François Rechenmann, Laurent Julliard |
Muninn: A Pragmatic Information Extraction System. |
SPIRE |
2000 |
DBLP DOI BibTeX RDF |
Muninn, information extraction system, scientific text corpora, specialized databases, pertinent information, linguistic tools, object-oriented knowledge modeling capabilities, gene interactions, data mining, genomics, data gathering |
19 | Ileana Ober |
More Meaningful UML Models. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics |
19 | Zsolt Öry |
A theory driven approach to century change. |
CSMR |
1997 |
DBLP DOI BibTeX RDF |
theory-driven approach, century change, software maintenance demand, program bugs, system migration costs, software maintenance capabilities, bug load, mechanical approaches, data integrity, error rates, cost-effectiveness, criteria, Year 2000 problem |
19 | Wen-Shyen E. Chen, Chun-Wu Roger Leng, Yao-Nan Lien |
A novel mobile agent search algorithm. |
ICCCN |
1997 |
DBLP DOI BibTeX RDF |
mobile agent search algorithm, unreliable wireless links, management capabilities, target agent, agent search algorithm, highest probability first algorithm, execution time information, mobile computing, intelligent agents, capacity, cost, network traffic, computer network management, binomial distribution |
19 | Steven M. P. Yip, Nicholas Bambos |
Scalable routing schemes for massively parallel processing using reconfigurable optical interconnect. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
scalable routing schemes, reconfigurable optical interconnect, message broadcasting, massively parallel processing system, randomly generated packets, device capabilities, parallel processing, reconfigurable architectures, optical interconnections, message routing, massively parallel processing |
19 | Paul E. Keller, James D. Myers |
The EMSL TeleViewer: a collaborative shared computer display. |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
EMSL TeleViewer, collaborative shared computer display, desktop conferencing software, groupware software, parallel collaborative work, Environmental Molecular Sciences Laboratory, cross-platform display sharing, MacOS, application windows, screen regions, shared mouse cursors/pointer, high-performance data compression, session recording capabilities, groupware, operating systems, UNIX, Windows, collaborative annotations |
19 | Paolo Ciancarini, Davide Rossi, Fabio Vitali, Andreas Knoche, Robert Tolksdorf |
Coordination technology for the WWW. |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
WWW middleware, distributed multiuser application development, enhanced middleware support, Internet languages, PageSpace architecture, high-level coordination capabilities, Java, Internet, World Wide Web |
19 | Mark S. Anderson 0001, Christopher James North, John Edmund Griffin, Robert Brunyee Milner, John D. Yesberg, Kenneth Kwok-Hei Yiu |
Starlight: Interactive Link. |
ACSAC |
1996 |
DBLP DOI BibTeX RDF |
Interactive Link, Starlight research program, military-relevant information security capabilities, retrofittable device, commercial off-the-shelf workstations, classified networks, unclassified networks, authorising government agencies, untrusted graphical windowing applications, X Windows applications, Microsoft Windows applications, Internet, interactive systems, personal computers, cost-effectiveness, security levels, interactive access |
19 | Moreno Coli, Paolo Palazzari |
An adaptive deadlock and livelock free routing algorithm. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
livelock free routing algorithm, store and forward deadlocks, interprocessor network systems, buffered packet switched communications, DL free routing, nonadaptive routing modality, interconnection network bandwidth, communication topology, adaptive DL free routing, network buffers, casual movement, transputer based parallel machine, fault tolerant computing, multiprocessor interconnection networks, packet switching, adaptive systems, performance tests, deadlock free routing, fault tolerance capabilities |
19 | Michèle Dion, Tanguy Risset, Yves Robert |
Resource-constrained scheduling of partitioned algorithms on processor arrays. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
physical processor arrays, communication capabilities, complex optimization problem, single integer linear programming problem, scheduling, computational complexity, complexity, linear programming, mapping, optimisation, processor arrays, partitioned algorithms, communication links, resource-constrained scheduling, optimal scheduling algorithms, linear processor arrays |
19 | Abdelghani Bellaachia, Abdou Youssef |
A unified theory for a traffic analysis in product networks. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
unified theory, cartesian product graphs, communication capabilities, multidimensional tori, r-ary n-cube networks, performance evaluation, performance, multiprocessor interconnection networks, traffic analysis, product networks, multidimensional meshes |
19 | Paolo Bottoni, Marzia Mariotto, Piero Mussio, Gabriele E. M. Biella |
The Design of Anthropocentric Cooperative Visual Environments. |
VL |
1995 |
DBLP DOI BibTeX RDF |
Anthropocentric Cooperative Visual Environments, user capabilities, user-system communication, shape abstraction, ACVE design, graphical user interfaces, human factors, visual programming, visual programming, visual languages, visual languages, system performance |
19 | Alessandro Bogliolo, Maurizio Damiani |
Synthesis of combinational circuits with special fault-handling capabilitie. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
combinational circuit synthesis, fault-handling capabilities, internal faults, multilevel logic optimization process, logic testing, redundancy, redundancy, design for testability, logic design, combinational circuits, logic CAD, multivalued logic, circuit optimisation, self-checking circuits, circuit reliability, fault-tolerant circuits |
19 | Josep Rius 0001, Joan Figueras |
Detecting IDDQ defective CMOS circuits by depowering. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
I/sub DDQ/ defective CMOS circuits, depowering, fault detection capabilities, quiescent state, logic valves, discharge current, power supply line disconnection, logic testing, integrated circuit testing, fault location, CMOS logic circuits, capacitance |
19 | Bernhard Albert, Anura P. Jayasumana |
Performance analysis of FDDI LANs using numerical methods. |
LCN |
1995 |
DBLP DOI BibTeX RDF |
FDDI LANs, Mathematica code, graphing capabilities, average access delay estimate, advanced token ring based networks, FFOL, FDDI follow on LAN, medium loaded networks, low loaded networks, symmetric multimedia environment, bimodal traffic, short data packets, video packets, estimated average access time, varied offered load, simulators, performance evaluation, performance analysis, graph theory, virtual machines, delays, local area networks, error analysis, numerical analysis, numerical methods, error rate, symbol manipulation, FDDI, network configuration, confidence measure, token networks |
19 | Lloyd G. Williams |
Assessment of Safety-Critical Specifications. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
safety-critical system specifications, specification ambiguity, software cost reduction method, Vienna Definition Method, semantic capabilities, assessment criteria, formal specification, formal methods, formal verification, formal verification, software reliability, safety, software cost estimation, understandability, VDM, Vienna development method |
19 | Veljko Potkonjak, Ante Krstulovic |
Contribution to the kinematics and dynamics of redundant robots via distributed positioning. |
J. Intell. Robotic Syst. |
1992 |
DBLP DOI BibTeX RDF |
dynamic capabilities, distributed positioning, Robots, redundance, kinematics, operation speed |
19 | Eric Steegmans, Johan Lewi, Ivo Van Horebeek |
Generation of Interactive Parsers With Error Handling. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
ELL 1, interactive parsers, interactive transducers, underlying parser, generation scheme, error-recovery generation capabilities, semantic error recovery, MIRA transducer writing system, adopted error-recovery strategy, interactive software package, MINI-ABACUS, error-recovery principles, Ada, interactive systems, program compilers, grammars, system recovery, industrial case studies, Ada programs |
19 | Santosh S. Venkatesh, Demetri Psaltis |
On Reliable Computation With Formal Neurons. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1992 |
DBLP DOI BibTeX RDF |
computing capabilities, formal McCulloch-Pitts neurons, decision errors, random error protocol, exhaustive error protocol, protocols, neural nets, neural nets, error tolerance |
19 | Elaine J. Weyuker, Bingchiang Jeng |
Analyzing Partition Testing Strategies. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
input domain, fault detection capabilities, subdomain modifications, program testing, random testing, partition testing |
19 | Izidor Gertner, Martin Rofheart |
A Parallel Algorithm for 2-D DFT Computation with No Interprocessor Communication. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
2-D DFT computation, report capabilities, speed performance, binary tree computer, parallel algorithm, parallel algorithms, parallelism, broadcast, fast Fourier transforms |
19 | Abdou Youssef, Bhagirath Narahari |
The Banyan-Hypercube Networks. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
banyan-hypercube networks, communication capabilities, interconnecting hypercubes, embedding of rings, partitioning strategy, performance evaluation, routing, parallel architectures, partitioning, multiprocessor interconnection networks, optimal routing algorithm |
19 | Fabio Panzieri, Santosh K. Shrivastava |
Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
Rajdoot, remote procedure call mechanism, orphan detection, killing, exactly-once semantics, call nesting, reliability, fault tolerant computing, software reliability, operating systems (computers), fault tolerance capabilities |
18 | Hirotoshi Yasuoka, Tachio Terauchi |
Polymorphic Fractional Capabilities. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Scott A. DeLoach, Walamitien H. Oyenan, Eric T. Matson |
A capabilities-based model for adaptive organizations. |
Auton. Agents Multi Agent Syst. |
2008 |
DBLP DOI BibTeX RDF |
Adaptation, Self-organization, Metamodel, Organizations |
18 | Dong Kyue Kim, Minhwan Kim, Heejin Park |
Linearized Suffix Tree: an Efficient Index Data Structure with the Capabilities of Suffix Trees and Suffix Arrays. |
Algorithmica |
2008 |
DBLP DOI BibTeX RDF |
Index data structures, Suffix trees, Suffix arrays, String algorithms |
18 | Mahantesh Halappanavar, John-Paul Robinson, Enis Afgan, Mary Fran Yafchak, Purushotham V. Bangalore |
A common application platform for the SURAgrid (CAP). |
Mardi Gras Conference |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Franziska Zacharias, Christoph Borst, Gerd Hirzinger |
Capturing robot workspace structure: representing robot capabilities. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Haresh Luthria, Fethi A. Rabhi, Michael Briers |
Investigating the Potential of Service Oriented Architectures to Realize Dynamic Capabilities. |
APSCC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ralf König 0002, Heinz-Gerd Hegering |
Towards a Toolkit for the Analysis and Design of Systems with Self-Management Capabilities. (PDF / PS) |
AIMS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Krzysztof Z. Gajos, Jacob O. Wobbrock, Daniel S. Weld |
Automatically generating user interfaces adapted to users' motor and vision capabilities. |
UIST |
2007 |
DBLP DOI BibTeX RDF |
multiple impairments, optimization, decision theory, motor impairments, vision impairments, supple |
18 | Michalis Sfakakis, Sarantos Kapidakis |
Expression of Z39.50 Supported Search Capabilities by Applying Formal Descriptions. |
ECDL |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Frederica Darema |
Dynamic Data Driven Applications Systems: New Capabilities for Application Simulations and Measurements. |
International Conference on Computational Science (2) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Alexessander Alves, Rui Camacho, Eugénio C. Oliveira |
Improving Numerical Reasoning Capabilities of Inductive Logic Programming Systems. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Alan H. Karp, Rajiv Gupta, Guillermo Juan Rozas, Arindam Banerji |
Using Split Capabilities for Access Control. |
IEEE Softw. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Barbara König 0001 |
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
18 | María Ángeles Díaz Fondón, Darío Álvarez Gutiérrez, Armando García-Mendoza Sánchez, Fernando Álvarez García, Lourdes Tajes Martínez, Juan Manuel Cueva Lovelle |
Integrating Capabilities into the Object Model to Protect Distributed Object Systems. |
DOA |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Hartmut Vogler, Marie-Luise Moschgath, Thomas Kunkelmann |
Enhancing Mobile Agents with Electronic Commerce Capabilities. |
CIA |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Jason Pascoe |
Adding Generic Contextual Capabilities to Wearable Computers. |
ISWC |
1998 |
DBLP DOI BibTeX RDF |
Context-aware, wearable computing, fieldwork, CIS |
18 | Daniel Hagimont, Jacques Mossière, Cliff W. Hemming Jr. |
Hidden capabilities: towards a flexible protection utility for the internet. |
ACM SIGOPS European Workshop |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Asaf Shiloni, Noa Agmon, Gal A. Kaminka |
Of robot ants and elephants. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
ant robotics, computational models, multi-robot systems |
17 | Shinichi Suzuki, Yasushi Shinjo, Toshio Hirotsu, Kozo Itano, Kazuhiko Kato |
Capability-Based Egress Network Access Control for Transferring Access Rights. |
ICITA (2) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Zoé Lacroix, Omar Boucelma, Mehdi Essid |
The biological integration system. |
WIDM |
2003 |
DBLP DOI BibTeX RDF |
web, data integration, bioinformatics, mediation, application integration, heterogeneous resources |
17 | Jerry D. Smith |
Implementing knowledge bases on secondary storage (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Akshay Krishnamurthy, Adrian Mettler, David A. Wagner 0001 |
Fine-grained privilege separation for web applications. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
object-capabilities, privilege separation, web applications |
16 | Claudius Gros |
Cognitive Computation with Autonomously Active Neural Networks: An Emerging Field. |
Cogn. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Autonomous neural dynamics, Transient state dynamics, Emergent cognitive capabilities, Recurrent neural networks |
16 | Cristina Zerpa |
Improving governance with an e-government maturity model. |
ICEGOV |
2009 |
DBLP DOI BibTeX RDF |
alignment IT/business, desirables behaviours, digital agenda, e-government, governance, capabilities, strategic planning, IT governance, maturity model, IT evaluation |
16 | Nur Izura Udzir, Sileshi Demesie, Hamidah Ibrahim |
Garbage collection in LINDACAP. |
iiWAS |
2009 |
DBLP DOI BibTeX RDF |
LINDA coordination, multicapabilties, garbage collection, capabilities |
16 | Tachio Terauchi, Alex Aiken |
A capability calculus for concurrency and determinism. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
type systems, Determinism, capabilities |
16 | Tim Goles, Stephen Hawk, Kate M. Kaiser |
Information technology workforce skills: The software and IT services provider perspective. |
Inf. Syst. Frontiers |
2008 |
DBLP DOI BibTeX RDF |
Software and service providers, IT, Outsourcing, Capabilities, Skills, Workforce |
16 | Matthew Finifter, Adrian Mettler, Naveen Sastry, David A. Wagner 0001 |
Verifiable functional purity in java. |
CCS |
2008 |
DBLP DOI BibTeX RDF |
object-capabilities, pure functions, static analysis, determinism |
16 | Tachio Terauchi |
Checking race freedom via linear programming. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
fractional capabilities, linear programming |
16 | Roy Want |
Sensor-Driven Computing Comes of Age. |
IEEE Pervasive Comput. |
2007 |
DBLP DOI BibTeX RDF |
serial interconnect buses, sensing capabilities, sensor networks, user interface, context awareness, sensors |
16 | Michael Beiter |
Combiner Driven Management Models and Their Applications. |
WEWoRC |
2007 |
DBLP DOI BibTeX RDF |
multi-time secret sharing, threshold schemes with update capabilities, secret sharing, management models |
16 | Paola Salomoni, Silvia Mirri, Stefano Ferretti, Marco Roccetti |
Profiling learners with special needs for custom e-learning experiences, a closed case? |
W4A |
2007 |
DBLP DOI BibTeX RDF |
device capabilities, e-learning accessibility, learners preferences, profiling |
16 | Michalis Petropoulos, Alin Deutsch, Yannis Papakonstantinou |
CLIDE: interactive query formulation for service oriented architectures. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
interactive query formulation, query capabilities, web services, query rewriting |
16 | Feike W. Dillema, Simone Lupetti |
Rendezvous-based access control for medical records in the pre-hospital environment. |
HealthNet |
2007 |
DBLP DOI BibTeX RDF |
aggregation threat, pre-hospital environment, security model, capabilities, electronic health records |
16 | Ted Wobber, Aydan R. Yumerefendi, Martín Abadi, Andrew Birrell, Daniel R. Simon |
Authorizing applications in singularity. |
EuroSys |
2007 |
DBLP DOI BibTeX RDF |
application identity, access control, pattern matching, regular expressions, delegation, capabilities, channels |
16 | John P. Dougherty, Tom Dececchi, Tony Clear, Brad Richards, Stephen Cooper, Tadeusz Wilusz |
Information technology fluency in practice. |
ACM SIGCSE Bull. |
2003 |
DBLP DOI BibTeX RDF |
IT concepts, context profiles, intellectual capabilities, education, FITness, computer applications, non-majors, IT fluency |
16 | Joerg Abendroth, Christian Damsgaard Jensen |
Partial outsourcing: a new paradigm for access control. |
SACMAT |
2003 |
DBLP DOI BibTeX RDF |
ASCap framework, active software capabilities, partial outsourcing, access control |
16 | Lauge Baungaard Rasmussen |
Identity Building in Organisations: Proactive Capability Development. |
AI Soc. |
2002 |
DBLP DOI BibTeX RDF |
Identity building, Proactive capabilities, Routine reflection, Scenario method, Creativity, Organisation, Conflict management |
16 | Nelley M. Kovalevskaya, Georgy L. Gimel'farb |
Visual models for spatial knowledge discovery. |
ACM-GIS |
2000 |
DBLP DOI BibTeX RDF |
perceptual capabilities, spatial interactions, Gibbs random fields |
16 | Refik Molva, Yves Roudier |
A Distributed Access Control Model for Java. |
ESORICS |
2000 |
DBLP DOI BibTeX RDF |
Java, distribution, capabilities, access control model, SPKI |
16 | Samuel C. Chamberlain, Paul D. Amer |
Broadcast Channels in Estelle. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
ISO 9074 International Standard, specification capabilities, formal specifications, formal specification, protocols, standards, synchronisation, formal semantics, syntax, formal description technique, notation, Estelle, broadcast channels, synchronization mechanism |
16 | Ahmed El-Amawy, Shahram Latifi |
Properties and Performance of Folded Hypercubes. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
folded hypercubes, hypercube-type structure, one-to-one communication, communication parameters, message traffic density, communication time delay, faulttolerant computing, performance evaluation, performance, broadcasting, hypercube networks, average distance, fault tolerance capabilities, optimal routing algorithms |
16 | Janice I. Glasgow, Michael A. Jenkins, Eli Blevis, Michel P. Féret |
Logic Programming with Arrays. |
IEEE Trans. Knowl. Data Eng. |
1991 |
DBLP DOI BibTeX RDF |
Nial, mathematical treatment, nested arrays, functional style, declarative capabilities, logic clauses, Horn clause logic, user-defined control strategies, knowledge-based systems application, logic programming, programming language, functional programming, functional programming, high level languages, logic programming environment |
16 | Amitava Majumdar 0002, Cauligi S. Raghavendra, Melvin A. Breuer |
Fault Tolerance in Linear Systolic Arrays Using Time Redundancy. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
triple time redundancy, gracefully degradable mode, fault tolerant computing, logic testing, reconfiguration, throughput, interconnection, switching, performance metrics, cellular arrays, running time, reliability analysis, control structures, fault-tolerant capabilities, linear systolic arrays |
16 | Johann Eder |
Extending SQL with General Transitive Closure and Extreme Value Selections. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
general transitive closure, recursive query processing applications, general recursive capabilities, existing query languages, database language SQL, view definition mechanism, extreme value sections, special constructs, maximal values, recursively defined views, nonlinear recursion, standards, database management systems, query languages, attributes, information retrieval systems, tuples, recursive structures |
16 | Won Kim 0001, Jorge F. Garza, Nat Ballou, Darrell Woelk |
Architecture of the ORION Next-Generation Database System. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
ORION next-generation database system, ORION-1, ORION-1SX, message handler, ORION system, object subsystem, high-level data management functions, schema management, long data management, versionable objects, transaction management subsystem, concurrent object accesses, recovery capabilities, storage subsystem, secondary storage device, main memory buffers, information retrieval, query optimization, database management systems, transaction processing, multimedia objects, text search, composite objects, persistent storage, shared data structures |
16 | Edmund H. Durfee, Victor R. Lesser, Daniel D. Corkill |
Trends in Cooperative Distributed Problem Solving. |
IEEE Trans. Knowl. Data Eng. |
1989 |
DBLP DOI BibTeX RDF |
CDPS, loosely coupled network, sophisticated problem-solving nodes, complex problem, interdependent subproblems, functional distribution, distributed interpretation, cooperating expert systems, computer-supported human cooperation, functionally accurate cooperation, sophisticated local control, AI, artificial intelligence, distributed processing, distributed processing, control, negotiation, problem solving, knowledge, knowledge engineering, data, spatial, temporal, organizational structuring, multiagent planning, theoretical frameworks, processing capabilities, distributed planning, cooperative distributed problem solving |
16 | Lawrence Snyder |
Formal Models of Capability-Based Protection Systems. |
IEEE Trans. Computers |
1981 |
DBLP DOI BibTeX RDF |
theoretical models of protection, grammatical protection systems, right-passing, Take/Grant Models, security, safety, Capabilities |
15 | Yang Li |
Towards Industry-Strength SLA Optimization Capabilities for Service Chains. |
COMPSAC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Hugo Hernández, Christian Blum 0001 |
Self-synchronized duty-cycling in sensor networks with energy harvesting capabilities: the static network case. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
sensor networks, swarm intelligence, duty-cycling |
15 | Mohammad Reza Reyhanitabar, Willy Susilo, Yi Mu 0001 |
Analysis of Property-Preservation Capabilities of the ROX and ESh Hash Domain Extenders. |
ACISP |
2009 |
DBLP DOI BibTeX RDF |
ROX, ESh, Hash Functions, MPP, Domain Extension |
15 | Thomas Vilarinho, Kjetil Haslum, Josef Noll |
Advanced SIM Capabilities Supporting Trust-Based Applications. |
NordSec |
2009 |
DBLP DOI BibTeX RDF |
SIM cards, social networks, context-awareness, trust, pervasive computing, networked embedded systems, Sun SPOT |
15 | Lingxi Li, Christoforos N. Hadjicostis, R. S. Sreenivas |
Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Panagiotis Vartholomeos, Evangelos Papadopoulos |
Analysis and Experiments on the Force Capabilities of Centripetal-Force-Actuated Microrobotic Platforms. |
IEEE Trans. Robotics |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Bandiera, Olivier Besson, Giuseppe Ricci |
An ABORT-Like Detector With Improved Mismatched Signals Rejection Capabilities. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Gorry |
Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
Feature Diagrams, MDA, OMG |
15 | Steffen Prüter, Guido Moritz, Elmar Zeeb, Ralf Salomon, Frank Golatowski, Dirk Timmermann |
Applicability of Web Service Technologies to Reach Real Time Capabilities. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
Web Services, SOA, real-time, DPWS |
15 | Junaed Sattar, Gregory Dudek, Olivia Chiu, Ioannis M. Rekleitis, Philippe Giguère, Alec Mills, Nicolas Plamondon, Chris Prahacs, Yogesh A. Girdhar, Meyer Nahon, John-Paul Lobos |
Enabling autonomous capabilities in underwater robotics. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | David Windridge, Mikhail Shevchenko, Josef Kittler |
An Entropy-Based Approach to the Hierarchical Acquisition of Perception-Action Capabilities. |
ICVW |
2008 |
DBLP DOI BibTeX RDF |
Perception-Action Architecture, Subsumption Hierarchy, Affordance, Saliency |
15 | Beatrice Alenljung, Anne Persson |
DESCRY: A Method for Evaluating Decision-Supporting Capabilities of Requirements Engineering Tools. |
REFSQ |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Junqi Zhang, Kun Liu, Ying Tan, Xingui He |
Allocation of local and global search capabilities of particle in canonical PSO. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
sampling distribution, local search, allocation, particle swarm optimization (PSO), guide, global search |
15 | Nikolaos I. Spanoudakis, Pavlos Moraitis |
An Agent Modeling Language Implementing Protocols through Capabilities. |
IAT |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Daghan L. Acay, Gil Tidhar, Liz Sonenberg |
Extending Agent Capabilities: Tools vs. Agents. |
IAT |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Katerina Stamou, Prathyusha V. Akunuri, Gabrielle Allen, Archit Kulshrestha, Daniel S. Katz |
Feature rich, enhanced grid portal for LONI. |
Mardi Gras Conference |
2008 |
DBLP DOI BibTeX RDF |
|
15 | David Vernon, Giorgio Metta, Giulio Sandini |
A Survey of Artificial Cognitive Systems: Implications for the Autonomous Development of Mental Capabilities in Computational Agents. |
IEEE Trans. Evol. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Dimos V. Dimarogonas, Kostas J. Kyriakopoulos |
Decentralized Navigation Functions for Multiple Robotic Agents with Limited Sensing Capabilities. |
J. Intell. Robotic Syst. |
2007 |
DBLP DOI BibTeX RDF |
Categories (5) |
15 | Panagiotis Vartholomeos, Kostas Vlachos, Evangelos Papadopoulos |
On the Force Capabilities of Centripetal Force-actuated Microrobotic Platforms. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Haifeng Shen, Steven Xia, Chengzheng Sun |
Integrating Advanced Collaborative Capabilities into Web-Based Word Processors. |
CDVE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ihor Kuz, Yan Liu 0001 |
Extending the Capabilities of Component Models for Embedded Systems. |
QoSA |
2007 |
DBLP DOI BibTeX RDF |
embedded system, component, scenario, extension, architecture design |
15 | Peter J. Byrne, Cathal Heavey, Kamil Erkan Kabak |
An analysis of tool capabilities in the photolithography area of an ASIC fab. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 17291 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|