Остановите войну!
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 141 matches
- 2013
- Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki:
Building a Body of Knowledge on Model Checking for Software Development. COMPSAC 2013: 784-789 - Ivor D. Addo, Sheikh Iqbal Ahamed, William C. Chu:
Toward Collective Intelligence for Fighting Obesity. COMPSAC 2013: 690-695 - Samuel A. Ajila, Akindele A. Bankole:
Cloud Client Prediction Models Using Machine Learning Techniques. COMPSAC 2013: 134-142 - Shaukat Ali, Tao Yue:
A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results from a Series of Controlled Experiments. COMPSAC 2013: 262-267 - Abdulaziz Alkhalid, Chung-Horng Lung, Duo Liu, Samuel Ajila:
Software Architecture Decomposition Using Clustering Techniques. COMPSAC 2013: 806-811 - Hirohisa Aman, Manami Sasaki, Kei Kureishi, Hideto Ogasawara:
Application of the 0-1 Programming Model for Cost-Effective Regression Test. COMPSAC 2013: 720-721 - Ryoji Aoki, Hiroshi Yamamoto, Kei-ichi Iguchi, Katsuyuki Yamazaki:
Realtime Guidance System in Hospital Using PHS and Android Device. COMPSAC 2013: 451-454 - Mikio Aoyama, Kazuo Yabuta, Tsutomu Kamimura, Souichi Inomata, Toshiya Chiba, Takashi Niwa, Koji Sakata:
PROMIS: A Management Platform for Software Supply Networks Based on the Linked Data and OSLC. COMPSAC 2013: 214-219 - Ravi Santosh Arvapally, Xiaoqing (Frank) Liu, Donald C. Wunsch II:
Fuzzy c-Means Clustering Based Polarization Assessment in Intelligent Argumentation System for Collaborative Decision Support. COMPSAC 2013: 59-64 - Elisa Bertino:
Big Data - Opportunities and Challenges Panel Position Paper. COMPSAC 2013: 479-480 - Tegawendé F. Bissyandé, Ferdian Thung, David Lo, Lingxiao Jiang, Laurent Réveillère:
Popularity, Interoperability, and Impact of Programming Languages in 100, 000 Open Source Projects. COMPSAC 2013: 303-312 - Pedro F. Campos, Fernando Miguel Campos, João Pestana:
Delineato: A Diagramming User Interface Designed Using a "What You Get is What You Need" Approach. COMPSAC 2013: 684-689 - Shih-Fang Chang:
A Market-in-Market Collaborative Model towards Application Marketplaces. COMPSAC 2013: 718-719 - Che-Cheng Chang, Jichiang Tsai:
Solving the Distributed Trigger Counting Problem without Any Global Assumption. COMPSAC 2013: 200-207 - Hsin-Chieh Chen, Yi-You Hou, Meei-Ling Hung, Zhang-Lin Wan:
Speed Control for Permanent Magnet Synchronous Motor System via Quasi-sliding Mode Control. COMPSAC 2013: 157-158 - Shi-Jaw Chen, Chia-Hung Lin:
Integrating SVM Classifier and Distribution State Estimation for Detection and Identification of AMI Customer's Meter Data. COMPSAC 2013: 278-279 - Jian-Liung Chen, Chia-Hung Lin, Bo-Wun Gu, Ming-Jyi Jang:
Maximum Power Tracking Controller for a Wind-Driven Permanent-Magnet Synchronous Generator: Using an Approach of Chaos Synchronization. COMPSAC 2013: 159-160 - Rong Chen, Yaqing Liu, Zhichun Jia, Jian Gao:
Isolating and Understanding Program Errors Using Probabilistic Dispute Model. COMPSAC 2013: 633-638 - Jinfu Chen, Qing Li, Huanhuan Wang, Rubing Huang:
Describing Component Behavior Using Improved Chemical Abstract Machine. COMPSAC 2013: 605-606 - Tseng-Yi Chen, Hsin-Wen Wei, Nien-I Hsu, Wei-Kuan Shih:
A IoT Application of Safe Building in IPv6 Network Environment. COMPSAC 2013: 748-753 - Xiaohong Chen, Ronghua Ye, Haiying Sun, Hong Lu:
Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach. COMPSAC 2013: 431-436 - Jang-Ho Choi, Jae-Hyun Cho, Han-Gyu Ko, In-Young Ko:
Distributed Coordination of IoT-Based Services by Using a Graph Coloring Algorithm. COMPSAC 2013: 399-404 - Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Bruce M. McMillin, Sriram Chellappan:
Stability of a Cyber-physical Smart Grid System Using Cooperating Invariants. COMPSAC 2013: 760-769 - Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Interactive Verification of Safety-Critical Software. COMPSAC 2013: 519-528 - Alfredo Cuzzocrea:
Analytics over Big Data: Exploring the Convergence of DataWarehousing, OLAP and Data-Intensive Cloud Infrastructures. COMPSAC 2013: 481-483 - Alfredo Cuzzocrea, Elisa Bertino:
Further Theoretical Contributions to a Privacy Preserving Distributed OLAP Framework. COMPSAC 2013: 234-239 - H. R. O. E. Dayaratna, Kunitake Kaneko, Fumio Teraoka:
Multiple Home Agent Placement Considerations Based on Internet Service Provider Perspective in MobileIPv6. COMPSAC 2013: 471-474 - Dang Viet Dzung, Atsushi Ohnishi:
Evaluation of Ontology-Based Checking of Software Requirements Specification. COMPSAC 2013: 425-430 - Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam, Mohammad Zulkernine:
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages. COMPSAC 2013: 375-380 - Mahdi Eslamimehr, Jens Palsberg:
Testing versus Static Analysis of Maximum Stack Size. COMPSAC 2013: 619-626
skipping 111 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-06-21 00:03 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