![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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 29 matches
- 2006
- Osamu Arai, Hamido Fujita:
Verification of the Lyee requirement. SoMeT 2006: 340-361 - Ali Reza Arasteh, Mourad Debbabi, Assaad Sakha:
A Formal Approach for the Forensic Analysis of Logs. SoMeT 2006: 159-176 - Osamu Atsumi, Shogo Hayashida, Rikio Maruta:
Unified OTP Cryptosystem with Authentication and Secrecy. SoMeT 2006: 287-300 - Bee Bee Chua, June M. Verner, Darren Dalcher:
A Framework for Predicting Person-Effort on Requirements Changes. SoMeT 2006: 439-451 - Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua:
Common Criteria Approach to J2ME CLDC Security Requirements. SoMeT 2006: 177-194 - George Feuerlicht:
System Development Life-Cycle Support for Service-Oriented Applications. SoMeT 2006: 116-126 - François Gagnon, Mohamed Mejri:
A Decision Procedure for Structured Cryptographic Protocols. SoMeT 2006: 272-286 - Daniel Godbout, Béchir Ktari, Mohamed Mejri:
A Formal Translation From an Imperative Language With Array to a Declarative Language. SoMeT 2006: 319-339 - Sergei Gorlatch, Tae Kameda, Hamido Fujita, Michiru Tanaka, Yutaka Funyu, Osamu Arai:
Towards Developing Adjustable Software: A Case Study with the Lyee Approach. SoMeT 2006: 423-438 - Nicolas Juillerat, Béat Hirsbrunner:
FOOD: An Intermediate Model for Automated Refactoring. SoMeT 2006: 452-461 - Zenya Koono, Hassan Abolhassani, Hui Chen:
A New Way of Automatic Design of Software (Simulating Human Intentional Activity). SoMeT 2006: 407-420 - François Lemieux, Martin Salois:
Visualization Techniques for Program Comprehension - A Literature Review. SoMeT 2006: 22-47 - T. S. E. Maibaum:
On specifying systems that connect to the physical world. SoMeT 2006: 71-83 - Victor Malyshkin:
How to Create the Magic Wand? - Currently Implementable Formulation of the Problem. SoMeT 2006: 127-132 - Rikio Maruta, Noriko Taniguchi:
Transforming a Non-Software Company to a Software Company by Exploiting the LYEE Methodology. SoMeT 2006: 133-145 - Klaus Meffert, Ilka Philippow:
Supporting Program Comprehension for Refactoring Operations with Annotations. SoMeT 2006: 48-67 - Frédéric Michaud, Frédéric Painchaud:
Source Code Verification Tools for Software Security Bugs. SoMeT 2006: 231-241 - Satish Narayanasamy
, Cristiano Pereira, Brad Calder:
Software Profiling for Deterministic Replay Debugging of User Code. SoMeT 2006: 211-230 - Fumio Negoro, Hamido Fujita:
Theory on Software Diagnosis for Program Code Validation. SoMeT 2006: 245-271 - Michael J. Oudshoorn, M. Muztaba Fuad, Debzani Deb:
Towards Autonomic Computing: Injecting Self-Organizing and Self-Healing Properties into Java Programs. SoMeT 2006: 384-406 - Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi:
Enforcing Security Policies on Programs. SoMeT 2006: 195-207 - David Lorge Parnas:
Component Interface Documentation: What do we Need and Why do we Need it? SoMeT 2006: 3-21 - Liviu Pene, Kamel Adi:
A Calculus for Distributed Firewall Specification and Verification. SoMeT 2006: 301-315 - Asif Qumer, Brian Henderson-Sellers:
A Framework to Support Non-fragile Agile Agent-Oriented Software Development. SoMeT 2006: 84-100 - Anna Maria Di Sciullo:
Information Processing and the Recovery of Argument Structure Asymmetries. SoMeT 2006: 101-115 - Luciana de Paiva Silva, Elisa Hatsue Moriya Huzita, Tania Fatima Calvi Tait:
Comparing Approaches in AORE through ISO/IEC 9126. SoMeT 2006: 146-156 - Tanja Toroi:
Improving Software Test Processes. SoMeT 2006: 462-473 - Jürgen Vörding, Maraike Schellmann, Sergei Gorlatch:
Enhancing and Parallelizing Legacy Software for Medical Imaging - A Case Study. SoMeT 2006: 365-383 - Hamido Fujita, Mohamed Mejri:
New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada. Frontiers in Artificial Intelligence and Applications 147, IOS Press 2006, ISBN 978-1-58603-673-7 [contents]
loading more results
failed to load more results, please try again later
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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-09-12 12:45 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