|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1842 occurrences of 1056 keywords
|
|
|
Results
Found 4992 publication records. Showing 4992 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Martin Bichler, Hannes Werthner |
A Classification Framework of Multidimensional, Multi-Unit Procurement. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
multidimensional multi-unit procurement negotiations, qualitative attributes, competitive source selection, bidding competition, price dimension, homogeneous goods, procurement situations, complex auction mechanisms, buyer, multi-attribute auction mechanisms, multi-unit negotiation situations, Internet, electronic commerce, electronic commerce, information technology, contract, application domains, scoring rule, multi-attribute auctions, classification framework, procurement auctions |
20 | M. Tuan Tu, Christian Philip Kunze, Winfried Lamersdorf |
A Rule Management Framework for Negotiating Mobile Agents. |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
rule management framework, negotiating mobile agents, rule-based generic services, market transaction, information phase, contracting phase, settlement phase, organizational aspects, technological aspects, automated negotiation process, contract terms determination, business view, transaction view, services view, infrastructure view, middleware, electronic commerce, distributed programming, electronic market, application framework |
20 | Luís Teixeira, Teresa Andrade, Vitor Teixeira |
Joint control of MPEG VBR video over ATM networks. |
ICIP (3) |
1997 |
DBLP DOI BibTeX RDF |
MPEG VBR video, joint control, digital encoding, MPEG 2 standard, transmission bandwidth, spatial redundancy, VBR encoded bit streams, dynamic multiplexing algorithms, user terminal equipment, source bit rate, channel bit rate, transmission channel, leaky bucket policing functions, video source quality, traffic contract, video coding, ATM networks, video sequences, variable bit rate, compression algorithms, picture quality, rate distortion model, video applications, temporal redundancy, bit rate control |
20 | Eberhard von Faber, R. Hammelrath, F.-P. Heider |
The Secure Distribution of Digital Contents. |
ACSAC |
1997 |
DBLP DOI BibTeX RDF |
secure distribution, encrypted digital contents, freely accessible distribution media, key management system, payment authorisation, casual customers, nonregistered users, software setup, contract conclusion, registration processes, content re-selling, business-to-business environment, cryptography, electronic commerce, workflow management, decryption, payment systems |
20 | Nen-Fu Huang, Chi-An Su, Chieh-Wen Cheng, Chuan-Pwu Wang, Jer-Han Fang, Yi-Jang Wu |
The Design and Implementation of a Multicast Real-Time Multimedia Protocol. |
LCN |
1996 |
DBLP DOI BibTeX RDF |
multicast real-time multimedia protocol, performance contract, multicast function, interconnected ATM switches, QoS guaranteed protocol, quality of service, delay, admission control, transport protocols, group communications, communication networks, bandwidth, multimedia communications, multimedia applications, packet scheduling, routers, high-speed network, resource reservation, data transmission, telecommunication channels, FDDI networks, delay jitter, jitter control |
20 | Tom Tedrick |
Fair Exchange of Secrets. |
CRYPTO |
1984 |
DBLP DOI BibTeX RDF |
Exchange of Secret Keys, Exchange of Secrets, Fractions of a Bit, Cryptographic Protocols, Oblivious Transfer, Contract Signing |
17 | Elio Damaggio, Alin Deutsch, Dayou Zhou |
Querying contract databases based on temporal behavior. |
SIGMOD Conference |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Rakesh Kumar |
Computing with stochastic processors: revisiting the correctness contract between software and hardware. |
ISLPED |
2010 |
DBLP DOI BibTeX RDF |
stochastic processor, reliability, error resilience, error tolerance |
17 | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
CLAN: A Tool for Contract Analysis and Conflict Discovery. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Chen Wang 0008, Shiping Chen 0001, John Zic |
A Contract-Based Accountability Service Model. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Panupong Sornkhom, Yongyuth Permpoontanalarp |
Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Georgiana Macariu, Vladimir Cretu |
Model-Based Analysis of Contract-Based Real-Time Scheduling. |
SEUS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Michal Sojka, Zdenek Hanzálek |
Modular architecture for real-time contract-based framework. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mario Bravetti, Gianluigi Zavattaro |
Contract-Based Discovery and Composition of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Zhenyu Wang, Jianhua Huang, Yu Wang, Xiangdong Li, Xuetao Sun, Ruimin Wang |
A Multi-party Contract Signing Protocol and Its Implementation via Trusted Computing. |
CSE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mihhail Aizatulin, Henning Schnoor, Thomas Wilke |
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Hakim Belhaouari, Frédéric Peschanski |
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Michel Bidoit, Rolf Hennicker |
An Algebraic Semantics for Contract-Based Software Components. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Alexander M. Hoole, Issa Traoré |
Contract-Based Security Monitors for Service Oriented Software Architecture. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Alessio Lomuscio, Hongyang Qu 0001, Monika Solanki |
Towards Verifying Contract Regulated Service Composition. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Naomi Fujimura, Itsuo Omagari, Masatsugu Ueda, Keiichi Irie |
Experience with software blanket contract in Kyushu University. |
SIGUCCS |
2008 |
DBLP DOI BibTeX RDF |
anti-virus software, campus agreement, software license, CSR |
17 | John K. Debenham, Elaine Lawrence |
Automating Contract Negotiation. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
data mining, Intelligent agents, negotiation, argumentation |
17 | Werner Damm |
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Surya Nepal, John Zic, Shiping Chen 0001 |
A Contract Language for Service-Oriented Dynamic Collaborations. |
CollaborateCom |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Anna Cinzia Squicciarini, Federica Paci |
Monitoring Contract Enforcement within Virtual Organizations. |
CollaborateCom |
2008 |
DBLP DOI BibTeX RDF |
Collaboration, Access Control, Monitoring, Virtual Organizations |
17 | Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda |
Contract-Based Approach to Analyze Software Components. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Igor Minakov, George Rzevski, Petr Skobelev, Simon Volman |
Creating Contract Templates for Car Insurance Using Multi-agent Based Text Understanding and Clustering. |
HoloMAS |
2007 |
DBLP DOI BibTeX RDF |
Template building, problem domain ontology, multi-agent text understanding, semantic network comparison, data mining, clustering, classification, text mining |
17 | Charles R. Williams |
What happens at the end of the outsourcing contract? |
SIGUCCS |
2007 |
DBLP DOI BibTeX RDF |
in-sourcing, right sourcing, outsourcing |
17 | Guilan Dai, Xiaoying Bai, Yongbo Wang, Fengjun Dai |
Contract-Based Testing for Web Services. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Emel Filiz |
Incorporating unawareness into contract theory. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer 0001, Arno Fiva |
Contract driven development = test driven development - writing test cases. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
unit testing |
17 | Mario Bravetti, Gianluigi Zavattaro |
Contract Based Multi-party Service Composition. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Johan Fredriksson, Thomas Nolte, Mikael Nolin, Heinz Schmidt |
Contract-Based ReusableWorst-Case Execution Time Estimate. |
RTCSA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Cornelia Gellings |
Outsourcing Relationships: The Contract as IT Governance Tool. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jahyun Goo, Kichan Nam |
Contract as a Source of Trust--Commitment in Successful IT Outsourcing Relationship: An Empirical Study. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | David B. Martin 0001, Rob Procter, John Mariani, Mark Rouncefield |
Working the contract. |
OZCHI |
2007 |
DBLP DOI BibTeX RDF |
customizable-off-the-shelf (COTS) healthcare information systems, ethnography, project management, contracts |
17 | Vikram Iyengar, Kenneth Pichamuthu, Andrew Ferko, Frank Woytowich, David E. Lackey, Gary Grise, Mark Taylor 0001, Mike Degregorio, Steven F. Oakland |
An Integrated Framework for At-Speed and ATE-Driven Delay Test of Contract-Manufactured ASICs. |
VTS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jens Dietrich 0001, John G. Hosking, Jonathan Giles |
A Formal Contract Language for Plugin-based Software Engineering. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Boris Goldengorin, Gerold Jäger, Paul Molitor |
Tolerance Based Contract-or-Patch Heuristic for the Asymmetric TSP. |
CAAN |
2006 |
DBLP DOI BibTeX RDF |
Construction Heuristics, Traveling Salesman Problem, Tolerances |
17 | Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger |
Achieving Fairness and Timeliness in a Previous Electronic Contract Signing Protocol. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof Mossakowski, Jacek Mandziuk |
Neural Networks and the Estimation of Hands' Strength in Contract Bridge. |
ICAISC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Umesh A. Deshpande 0001, Arobinda Gupta, Anupam Basu |
Performance enhancement of a contract net protocol based system through instance-based learning. |
IEEE Trans. Syst. Man Cybern. Part B |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Pasquale Caruso, Giuliano Laccetti, Marco Lapegna |
A Performance Contract System in a Grid Enabling, Component Based Programming Environment. |
EGC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Harumi A. Kuno, Kei Yuasa, Kannan Govindarajan, Kevin Smathers, Bernard Burg, Paul Carau, Kevin Wilkinson |
Governing the Contract Lifecycle: A Framework for Sequential Configuration of Loosely-Coupled Systems. |
DNIS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Marcello Bruno, Gerardo Canfora, Massimiliano Di Penta, Gianpiero Esposito, Valentina Mazza |
Using Test Cases as Contract to Ensure Service Compliance Across Releases. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Michael Backes 0001, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani |
Compositional Analysis of Contract Signing Protocols. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Egon Valentini, Gerhard Fliess, Edmund Haselwanter |
A Framework for Efficient Contract-Based Testing of Software Components. |
COMPSAC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Wei Dong 0006, Ji Wang 0001 |
Contract-Based Formal Specification of Safety Critical Systems. |
COMPSAC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Claudio Cubillos, Claudio Demartini |
An On-Demand Passenger Transportation Architecture Based on a Mediated Contract-Net. |
SAINT Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Nikola Milanovic |
Contract-Based Web Service Composition Framework with Correctness Guarantees. |
ISAS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Lubica Staneková, Martin Stanek |
Fast Contract Signing with Batch Oblivious Transfer. |
Communications and Multimedia Security |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Detlef Kähler, Ralf Küsters, Thomas Wilke |
Deciding Properties of Contract-Signing Protocols. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Wunan Wan, Xiaojing Wang, Yang Liu |
Contract Net Protocol Using Fuzzy Case Based Reasoning. |
FSKD (2) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Detlef Kähler, Ralf Küsters |
Constraint Solving for Contract-Signing Protocols. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Zhan En Chan, Richard F. Paige |
Designing a Domain-Specific Contract Language: A Metamodelling Approach. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Orlando Loques, Alexandre Sztajnberg |
Customizing Component-Based Architectures by Contract. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rohit Chadha, Steve Kremer, Andre Scedrov |
Formal Analysis of Multi-Party Contract Signing. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau |
Extra-Functional Contract Support in Components. |
CBSE |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Matteo Gaeta, Giuseppe Laria, Pierluigi Ritrovato, N. Romano, Bassem Serhan, Stefan Wesner, Theodosis Dimitrakos, Damian Mac Randal |
Trust, Security, and Contract Management Challenges for Grid-Based Application Service Provision. |
iTrust |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Antonio Coronato, Antonio d'Acierno, Diego D'Ambrosio, Giuseppe De Pietro |
Supporting Tools for Designing-By-Contract in Component-Based Applications. |
Metainformatics |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jianxue Wang, Xifan Wang, Tao Du 0003 |
Simulation on the Interruptible Load Contract. |
CIS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rino Falcone, Giovanni Pezzulo, Cristiano Castelfranchi, Gianguglielmo Calvi |
Why a Cognitive Trustier Performs Better: Simulating Trust-Based Contract Nets. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rino Falcone, Giovanni Pezzulo, Cristiano Castelfranchi, Gianguglielmo Calvi |
Contract Nets for Evaluating Agent Trustworthiness. |
Trusting Agents for Trusting Electronic Societies |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Yishai A. Feldman |
Extreme Design by Contract. |
XP |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Axel Jantsch |
NoCs: A new Contract between Hardware and Software. |
DSD |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas Le Sommer |
A Contract-Based Approach of Resource Management in Information Systems. |
OOIS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Sea Ling, Iman Poernomo, Heinz W. Schmidt |
Describing Web Service Architectures through Design-by-Contract. |
ISCIS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Donald F. Ross |
Teaching Contract Programming Concepts to Future Software Engineers. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Umesh Deshpande, Arobinda Gupta, Anupam Basu |
Performance Improvement of the Contract Net Protocol Using Instance Based Learning. |
IWDC |
2003 |
DBLP DOI BibTeX RDF |
|
17 | James E. Hanson, Zoran Milosevic |
Conversation-oriented Protocols for Contract Negotiations. |
EDOC |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Steve Kremer, Jean-François Raskin |
Game Analysis of Abuse-free Contract Signing. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Zoltan Juhasz, Prasenjit Paul |
Scalability Analysis of the Contract Net Protocol. |
CCGRID |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Ehud Lamm |
Adding Design by Contract to the Ada Language. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Torben Weis, Christian Becker 0001, Kurt Geihs, Noël Plouzeau |
A UML Meta-model for Contract Aware Components. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Birgit Baum-Waidner |
Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Man-Chi Pong |
EC-SignGate: Electronic Contract Signing Gateway. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
web-based e-business, digital signature, public key infrastructure (PKI) |
17 | Christopher L. Barrett, Doug Cook, Gregory Hicks, Vance Faber, Achla Marathe, Madhav V. Marathe, Aravind Srinivasan, Yoram J. Sussmann, Heidi Thornquist |
Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry. |
WAE |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Roberto A. Flores, Robert C. Kremer |
Formal Conversations for the Contract Net Protocol. |
Multi-Agent-Systems and Applications |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Walid Al-Ahmad |
On the Interaction of Programming by Contract and Liskov Substitution Principle. |
AICCSA |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Birgit Baum-Waidner, Michael Waidner |
Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Márcia Ito, Jaime Simão Sichman |
Dependence Based Coalitions and Contract Net: A Comparative Analysis. |
IBERAMIA-SBIA |
2000 |
DBLP DOI BibTeX RDF |
organization and social structure, coalition formation and organisation self-design |
17 | Sha Wong |
Software Acquisition Management Experience Learnt in a Multi Discipline and Multi Contract Project Environment. |
APAQS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Serrão, José Guimarães |
Protecting Intellectual Proprietary Rights through Secure Interactive Contract Negotiation. |
ECMAST |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Richard Mitchell |
Analysis by Contract: UML with Attitude! |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Bertrand Meyer 0001 |
Managing By Contract. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Richard Mitchell |
Analysis by Contract or UML with Attitude. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Reinhold Plösch |
Design by Contract for Python. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Eric Kerfoot, Steve McKeever |
Checking concurrent contracts with aspects. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
Java, concurrency, AOP, active objects, runtime assertion checking |
14 | Ji Gao, HeXing Lü, Hang Guo, Fan Zhang, Yu Cheng, ChaoYang Fu, CunHao Wang |
Trusted autonomic service cooperation model and application development framework. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
service cooperation, norm-governed, policy-driven, trusted, virtual organization, autonomic |
14 | Gary Grider, James Nunez, John Bent, Steve Poole 0001, Robert B. Ross, Evan Felix |
Coordinating government funding of file system and I/O research through the high end computing university research activity. |
ACM SIGOPS Oper. Syst. Rev. |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies |
Intra-module Inference. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Constantinos Kotsokalis, Ramin Yahyapour, Miguel Angel Rojas González |
Modeling Service Level Agreements with Binary Decision Diagrams. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Sidney Rosario, Albert Benveniste, Claude Jard |
Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Beth M. Rugg |
Getting iTunes U at Ithaca College up and running! |
SIGUCCS |
2009 |
DBLP DOI BibTeX RDF |
distribution mechanisms, iTunes U, podcasting, enterprise systems |
14 | Michael Luck |
Flexible behaviour regulation in agent based systems. |
ICAC |
2009 |
DBLP DOI BibTeX RDF |
behaviour regulation, multiagent systems, norms, organisations |
14 | Josef Spillner, Matthias Winkler, Sandro Reichert, Jorge Cardoso 0001, Alexander Schill |
Distributed Contracting and Monitoring in the Internet of Services. |
DAIS |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jia Lv, Ying Jing, Minghui Wu 0001, Canghong Jin |
Crosscutting invariant and an efficient checking algorithm using program slicing. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented language, crosscutting interference, crosscutting quality, crosscutting safety |
14 | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. |
IEEE Trans. Serv. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Hélia Pouyllau, Stefan Haar |
Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks. |
Ann. des Télécommunications |
2008 |
DBLP DOI BibTeX RDF |
Inter-AS, QoS pipes, Busacker-Gowen algorithm, Distributed algorithms, Negotiation, SLA, Network flow, End-to-end QoS |
14 | Basil Becker, Holger Giese |
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
real-time coordination, verification, invariant, graph transformations, service-oriented, autonomous vehicles, structural adaptation |
Displaying result #401 - #500 of 4992 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|