Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 143 matches
- 2010
- Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf:
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. 53(1): 90-106 (2010) - Behzad Akbarpour, Amr T. Abdel-Hamid, Sofiène Tahar, John Harrison:
Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL. Comput. J. 53(4): 465-488 (2010) - Mouna Allani, Benoît Garbinato, Fernando Pedone:
Resource-Aware Multimedia Content Delivery: A Gambling Approach. Comput. J. 53(2): 234-248 (2010) - Christoforos Anagnostopoulos, Niall M. Adams, David J. Hand:
Streaming Covariance Selection with Applications to Adaptive Querying in Sensor Networks. Comput. J. 53(9): 1401-1414 (2010) - Vladimir Anashin:
Non-Archimedean Ergodic Theory and Pseudorandom Generators. Comput. J. 53(4): 370-392 (2010) - François Baccelli, Bartlomiej Blaszczyszyn, Paul Mühlethaler:
Time-Space Opportunistic Routing in Wireless Ad hoc Networks: Algorithms and Performance Optimization by Stochastic Geometry. Comput. J. 53(5): 592-609 (2010) - Mustafa Badaroglu, Ugur Halici, Isik Aybay, Cuneyt Cerkez:
A Cascadable Random Neural Network Chip with Reconfigurable Topology. Comput. J. 53(3): 289-303 (2010) - Roberto Barbuti, Nicoletta De Francesco, Luca Tesei:
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53(6): 679-700 (2010) - Michael A. Bekos, Michael Kaufmann, Katerina Potika, Antonios Symvonis:
Area-Feature Boundary Labeling. Comput. J. 53(6): 827-841 (2010) - Jenny Benois-Pineau, Andrei Yu. Khrennikov:
Significance Delta Reasoning with p-Adic Neural Networks: Application to Shot Change Detection in Video. Comput. J. 53(4): 417-431 (2010) - Anne Benoit, Mourad Hakem, Yves Robert:
Multi-criteria Scheduling of Precedence Task Graphs on Heterogeneous Platforms. Comput. J. 53(6): 772-785 (2010) - Andreas Berl, Erol Gelenbe, Marco Di Girolamo, Giovanni Giuliani, Hermann de Meer, Dang Minh Quan, Kostas Pentikousis:
Energy-Efficient Cloud Computing. Comput. J. 53(7): 1045-1051 (2010) - Lélia Blin, Christian Laforest, Stephane Rovedakis, Nicolas Thibault:
Hardness Results and Heuristic for Multi-groups Interconnection. Comput. J. 53(9): 1497-1507 (2010) - Pruet Boonma, Junichi Suzuki:
Moppet: A Model-Driven Performance Engineering Framework for Wireless Sensor Networks. Comput. J. 53(10): 1674-1690 (2010) - Patrick Erik Bradley:
Mumford Dendrograms. Comput. J. 53(4): 393-404 (2010) - Patrick Erik Bradley, Norbert Paul:
Using the Relational Model to Capture Topological Information of Spaces. Comput. J. 53(1): 69-89 (2010) - Krysia Broda, Christopher J. Hogger:
Designing Effective Policies for Minimal Agents. Comput. J. 53(8): 1184-1209 (2010) - Manfred Broy:
A Logical Basis for Component-Oriented Software and Systems Engineering. Comput. J. 53(10): 1758-1782 (2010) - Patrice Caire, Leendert W. N. van der Torre:
Convivial Ambient Technologies: Requirements, Ontology and Design. Comput. J. 53(8): 1229-1256 (2010) - Yongzhi Cao:
A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels. Comput. J. 53(1): 3-20 (2010) - Guang-Ho Cha:
A Context-Aware Similarity Search for a Handwritten Digit Image Database. Comput. J. 53(8): 1291-1301 (2010) - Daniel Y. Chao:
Fewer Monitors and More Efficient Controllability for Deadlock Control in S3PGR2 (Systems of Simple Sequential Processes with General Resource Requirements). Comput. J. 53(10): 1783-1798 (2010) - Archie C. Chapman, Rosa Anna Micillo, Ramachandra Kota, Nicholas R. Jennings:
Decentralized Dynamic Task Allocation Using Overlapping Potential Games. Comput. J. 53(9): 1462-1477 (2010) - Chien-Liang Chen, Shao-Chi Chin, Hsu-Chun Yen:
Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming. Comput. J. 53(6): 623-633 (2010) - Lei Chen, Zijian Wang, Boleslaw K. Szymanski, Joel W. Branch, Dinesh C. Verma, Raju Damarla, John Ibbotson:
Dynamic Service Execution in Sensor Networks. Comput. J. 53(5): 513-527 (2010) - Zhongqiang Chen, Yuan Zhang, Zhongrong Chen:
A Categorization Framework for Common Computer Vulnerabilities and Exposures. Comput. J. 53(5): 551-580 (2010) - Long Cheng, Yimin Chen, Canfeng Chen, Jian Ma, Lei Shu, Athanasios V. Vasilakos, Naixue Xiong:
Efficient Query-Based Data Collection for Mobile Wireless Monitoring Applications. Comput. J. 53(10): 1643-1657 (2010) - Vicent Cholvi, Antonio Fernández, Ernesto Jiménez, Pilar Manzano, Michel Raynal:
A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory. Comput. J. 53(9): 1523-1534 (2010) - HaNeul Chon, Taewhan Kim:
Resource Sharing Problem of Timing Variation-Aware Task Scheduling and Binding in MPSoC. Comput. J. 53(7): 883-894 (2010) - Sung Woo Chung, Hsien-Hsin S. Lee, Woo Hyong Lee:
Architecture/OS Support for Embedded Multi-core Systems. Comput. J. 53(8): 1134-1135 (2010)
skipping 113 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-26 05:02 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint