yusuke1997/dblp-id-title huggingface dataset:
Partial Evaluation of Janus Part 2: Assertions and Procedures
Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
On Algorithmic Unsolvability
Information-Flow Attacks Based on Limited Observations
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams
Certifying Supercompilation for Martin-Löf's Type Theory
Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions
Modeling Environment for Static Verification of Linux Kernel Modules
Case-Based Genetic Optimization of Web User Interfaces
Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources
Weighted Lumpability on Markov Chains
Data Mappings in the Model-View-Controller Pattern
A Verification Approach for Distributed Abstract State Machines
Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L
The Definition of Transitive Closure with OCL - Limitations and Applications
On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper)
Binding-Time Analysis for Polymorphic Types
Process in Cause-Effect Structures
Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
Platform Independent Approach for Detecting Shared Memory Parallelism
Languageless programming
Algorithms in various contexts
Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation
Domain Specific Semantic Validation of Schema.org Annotations
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially
A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences
Combining Aspects of Reactive Systems
Operation patterns
Index Sets as a Measure of Continuous Constraint Complexity
Equivalence and optimization of programs
Concurrent algorithms schemata
Models of Provenance - (Abstract)
On the macro extension of programming languages
Adaptive Saturation-Based Reasoning
Teams of Pushdown Automata
Implementing the Symbolic Method of Verification in the C-Light Project
Late Adaptation of Method Invocation Semantics
Pushout: A Mathematical Model of Architectural Merger
A Relational Algebra for Functional Logic Deductive Databases
A Two-Phase Approach to Reverse Engineering Using Formal Methods
A Transformation of SDL Specifications - A Step towards the Verification
The Use of Static Constructs in A Modal Process Logic
TeXOR: Temporal XML Database on an Object-Relational Database System
Applying MDA to Generate Hadoop Based Scientific Computing Applications
Probabilistic Formal Concepts with Negation
On Expressive and Model Checking Power of Propositional Program Logics
Supplement 1 summaries of oral presentations
Oberon-2 as Successor of Modula-2 in Simulation
A.P. Ershov - A Pioneer and a Leader of National Programming
DIXIT Algorizmi - His Background, his Personality, his Work, and his Influence
Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data
Abstract Structures for Communication between Processes
A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications
The Study of Multidimensional R-Tree-Based Index Scalability in Multicore Environment
Algebraic Modelling of Imperative Languages with Pointers
Building Theories in Nuprl
MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors
A novel generalized particle approach to optimize ATM networks
A unified networking scheme for sensor networks in a heterogeneous data collection system
Generalization of critical transmission range for connectivity to wireless multihop network models including interference
Fractionally spaced space-frequency equalizers for MIMO
Scalable coding and QoS control for next generation network
Throughput of satellite TCP networks
IPV6 deployment scenarios for large ISP networks
Advanced hashing techniques for non-uniformly distributed IP address lookup
An improved taguchi-genetic algorithm assisted multiuser detector for MC-CDMA systems
Optimal allocation of pooled servers for situation awareness applications
Performance analysis of RWAPI on top of the MYRINET-2000 interconnect
Video traffic modeling in HSDPA network simulation
Global and sequential approaches for UMTS network design
Multicasting and all-to-all personalized communication algorithms in optical multistage interconnection networks
Approximate blocking probabilities for multiclass services in wavelength routed all-optical networks
Implementation concept of A LCR-TDD node B with RSS beamforming capabilities
Architecture for information dissemination in wireless emergency management
Caching and replacement of streaming objects based on a popularity function
A framework for multicast and quality based forwarding in manets
Continuous time assessment and mapping of user-level QOS in audio-video transmission over IP networks
An adaptive sleep protocol for environment monitoring using wireless sensor networks
Aligning mobile P2P content sharing services with a customer process
Random-walk based analysis of virtual backbone in manets
Application requested switched connection establishment for heterogeneous multi-domain networks
Knowledge based generic model of intelligent networks and services
On the evolution of a naming and addressing architecture in view of dynamic network interconnection
Implementation of an adaptive buffering algorithm to improve QOS in VOIP
Trading-off consumption of routing and precision of membership in ad hoc networks
Efficient and fair hierarchical packet scheduling using dynamic deficit round robin
Integrating network QoS with end system performance in kernel pipeline WEB server
Building mobile emergency announcement systems in 3G networks
A QOS routing based on end-users control in internet
Network survivability performance evaluation using fault trees
Flowbased dynamic load balancing for passive network monitoring
Flexible route lookup using range search
Circumventing IP-address pseudonymization
Providing end-to-end QOS in 4G networks
Efficient multimedia transmission in mobile network by using PR-SCTP
Time-slot re-allocation for inter-frequency and inter-rat handover iN 1.28 MCPS TDD for UMTS
Spatial diversity estimation in multipath electromagnetic environments
Burst packet loss recovery using variable fec matrix for real-time applications over the internet
Data dissemination with resource management in wireless sensor networks
LDPC-BIBD coded SISO system with SRK equalisation over the broadband fixed wireless access channel
Detecting rogue devices in bluetooth networks using radio frequency fingerprinting
Inter-layer information exchanges for maximizing IEEE 802.11a throughput in fading channels
A heuristic algorithm for survivable mapping in IP-over-WDM networks
Of unicorns and random programs
A probability collectives approach to weighted clustering algorithms for ad hoc networks
Router direction index based AODV for motorway mobile ad hoc networks
Proceedings of the Third IASTED International Conference on Communications and Computer Networks, October 24-26, 2005, Marina del Rey, CA, USA
New approach for random multiple access
An efficient scheduling algorithm for real-time broadcast in wireless Lan
Analysis and performance evaluation of a multicast flow control mechanism for wired-wireless networks
Low-cost direction of arrival estimation iN TD-SCDMA receivers with smart antennas
New analytical results on ad hoc network connectivity
Performance evaluation of 3D-interconnect architectures for network line cards
IP RAN management architecture and mechanism in 3G networks
Understanding highspeed TCP: A control-theoretic perspective
On embedding N2R structures in optical fibeR OMS-SP rings
A comparison of random elliptic curves and finite fields suitable for cryptography
Analytical evaluation of frequency domain equalization for HSDPA in STTD antenna diversity mode
Multi-layer call admission architecture for assured QOS in CDMA2000 packet data networks
An id-based non-interactive tripartite key agreement protocol with K-resilience
An unconditionally secure multi-round revocation scheme using secret sharing
Proceedings of the Third IASTED International Conference on Communications and Computer Networks, October 4-6, 2006, Lima, Peru
Iterative convolutional decoders based on neural networks applications
Honeynet in network security using multi-layer data control and data capture mechanisms
A heuristic search based optimal wavelength assignment algorithm to minimize the number of sonet ADMS in WDM rings
On the design of multidimensional linear phase fir filters by WLS technique
Impact of sack delay and link delay on failover performance in SCTP
A generalization of the generalized petersen graphs and N2R network structures
A new efficient spare capacity allocation algorithm in self-healing MPLS mesh-based survivable networks
Shared path protection in multi-domain optical mesh networks
Performance of RSS beamforming for TD-SCDMA transceivers
Evolutionary optimized ad hoc connectivity
A practical matching of output queueing with a 3D-VOQ switch
Revised definition of multicast-favorable max-min fairness
CCID: Core construction for information dissemination in ad hoc scenario
A hierarchical virtual-backbone routing approach in ad hoc networks
A study of license plate location based on mathematical morphology and wavelet transform
Subcarrier modulation for visible-light communication using imaging sensor
Throughput and fairness performance of multiple STT-VEGAS connections
On the simulation, modeling, and performance analysis of an 802.16E mobile broadband wireless access system
Implementation and simulation of a multicarrier system for 4th generation mobile communications
Efficient client-transparent fault tolerance for video conferencing
Wireless patient monitoring devices: Case studies
Une sémantique pour l'héritage de comportement
Actes des journées Langages et Modèles à Objets, LMO'95. Nancy, France, 12-13 octobre
Une taxonomie et un métamodèle pour la détection des défauts de conception
Expression qualitative de politiques d'adaptation pour les composants Fractal
Support linguistique à la constitution de bibliothèques de méta-composants
Construction dynamique d'annuaires de composants par classification de services
Extraction métaheuristique d'une architecture à base de composants à partir d'un système orienté objet
Proto-Reflex: un langage à prototypes avec réflexion de comportement
C3L : un système qui intègre logique de description et frames
Conception orientée objet d'applications concurrentes
Component-Based Software Engineering for Embedded Systems
Génération de transformation de modèles par application de l'ARC sur des exemples
Assistance à l'architecte pour la construction d'architectures à base de composants
ILOG : vingt ans dans les objets, rétro et perspectives
Techniques d'indexation pour aider à la classification dans le modèle des graphes conceptuels
Changement dynamique de comportement par composition de schémas de conception
OpenCorba : un bus logiciel réflexif adaptable
Modélisation rigoureuse en SPEM de procédé de développement
Sur la sémantique statique de Java
Génération automatique d'algorithmes de détection des défauts de conception
Les incertitudes de la classification incertaine
Transformation dependency analysis - a comparison of two approaches
Programmation logique sous contraintes en C++
SHIRKA, 10 ans, c'est TROPES ?
Groups of connected objects
Synchronizing Concurrent Objects in the Pi-Calculus
Ingénierie multi-modèles : Projection flexible d'assemblages de modèles
Inheritance and Expressive power in Concurrent Object-Oriented Programming
COALA: un langage pour la conception de systèmes adaptatifs de résolution de problèmes
Réflexions autour de la construction dirigée par les modèles d'un atelier de composition d'orchestrations
Liaison dynamique: sémantique formelle et exploitation fonctionnelle
Adaptation d'un processus de construction d'abstractions basé IDM à des modèles bi-niveaux éléments / méta-éléments Application aux logiques de description
Actes des journées Langages et Modèles à Objets, LMO'94. Grenoble, France, 13-14 octobre
SmartModels : la généricité paramétrée au service des modèles métiers
Impact du couplage sur la réutilisabilité des classes : une étude de cas
Approche orientée-objets de la modélisation de la dynamique des populations d'éléments transposables
Évaluation de efficacité des implémentations de l'héritage multiple en typage statique
Test et diagnostic - des objets aux modèles
Objets et agents pour la représentation des connaissances du domaine dans le cadre de la résolution de problème
Construction de hiérarchies conceptuelles pour l'organisation de connaissances
Modifications virtuelles d'une hiérarchie de classes
Programmer l'algorithmique par objets
Actes des journéees Langages et Modèles à Objets, LMO'96. Leysin, Suisse, 16-18 octobre
ARES, un algorithme d'Ajout avec REStructuration dans les hiérarchies de classes
Étude de la changeabilité des systèmes orientés objet
Une approche du filtrage orientée objet pour les SBC
Spécification et spécialisation de Patterns en UML et B
Metrics, Do They Really Help?
La définition de règles logiques sur les objets dans le langage Claire
A Metamodel for Concurrent, Object-based Programming
Contraintes, objets et application: la CAO
An Innovative Model for Object-Oriented Costs Estimating
Actes des journées Langages et Modèles à Objets, LMO'2000. Mont Saint-Hilaire, Québec, Canada, 25-28 janvier
Alignement d'ontologies dirigé par la structure
Analyse formelle de données relationnelles pour la réingénierie des modèles UML
Une application du raisonnement par classification à la conception d'objets composites
Vers une machine virtuelle pour l'évaluation des langages d'acteurs
Définition de la notion de similarité dans les modèles à objets
Actes des journées Langages et Modèles à Objets, LMO'99. Villefranche-sur-mer, France, 27-29 janvier
Réification des schémas de conception : une expérience
Représentation de relations et classification : Reconnaissance de structures spatiales agricoles sur images satellite
Un modèle architectural à base de composants pour les applications distribuées
Application d'UML au développement d'un Système de Raisonnement à Partir de Cas en imagerie médicale
Analyse des besoins en représentation et raisonnement dans une représentation à objets - L'exemple de Y3
Distance sémantique entre concepts en ALE
Analyse et prédiction de l'impact de changements dans un système à objets : Approche probabiliste
Vers une nouvelle approche d'extraction de la logique métier d'une application orientée objet
HYPER-YAKA: hypermédia et base de connaissances sensible au contexte
Flexible Pointcut Implementation : An Interpreted Approach
Simplification d'une base de connaissances à objets
Un réseau sémantique au coeur d'un AGL
Prévention du déréférencement de références nulles dans un langage à objets
De la parenté entre les environnements de MIT Scheme et les prototypes de Self
Contrôle dynamique de l'intégrité des communications dans les architectures à composants
La programmation orientée-objet pour le développement de modèles de langage
Compiling an object-oriented language by program transformation
Modélisation et classification de langages de programmation concurrente à objets : l'expérience Actalk
Propositions pour un nouveau modèle d'objets dans les langages à prototypes
Vers un usage plus sûr de l'aliasing avec Eiffel
Algèbre des objets classes : une algèbre pour les bases de données orientées objet
CromeJava : une implémentation du modèle CROME de conception par contextes fonctionnels pour les bases de données à objets en Java
Programmation par objets et contextes fonctionnels. Application de Crome à Smalltalk
Héritage non conforme en Eiffel
Détection d'anomalies utilisant un langage de règle de qualité
Fondements de la révision dans un langage d'objets simple
Vers l'Exécutabilité des Modèles de Procédés Logiciels
Appariements dirigés pour le raisonnement par classification sur des hiérarchies de graphes
Objects in a higher-order concurrent constraint model with state
Une méthode et un algorithme pour compléter et abstraire une spécification orientée-objets
Classification et réification des assertions - Application au langage Eiffel
Typage souple pour objets contraints
Un outil d'aide à la résolution explicite des ambiguïtés des multi-méthodes
Classification de classes contre classification d'instances : Evolution dans les systèmes à objets basés sur des treillis de Galois
Un langage de contexte de preuve pour la validation formelle de modèles logiciels
Intégration de langages et de bases de données à objets : une approche par les méta-objets
Un modèle de representation des connaissances pour l'imputation comptable
Concept, une approche basée sur la déduction naturelle pour la classification de prédicats Datalog
Diverses problématiques de classification dans le modèle des graphes conceptuels
An algebraic view of UML class diagrams
Filling in the Whitespace: Research Opportunities in Model-Driven Software Development and Model-Driven
Instanciation et vérification de patterns de conception : un méta protocole
Rapprocher AROM de OWL
Vers la génération de modèles de sûreté de fonctionnement
Comment construire un schéma de classes à partir d'exemples
Actes des journées Langages et Modèles à Objets, LMO'07. Toulouse, France, 27-29 mars
XML : un formalisme de représentation intermédiaire entre données semi-structurées et représentation par objets
Évaluation partielle de la réflexion dans Java
Gestion des Connaissances, Web sémantique et Graphes conceptuels
Des classes autotestables
Une approche répartie du mécanisme de communication d'un système acteur
Un langage de description et de vérification de motifs d'architecture : Fractal ADL
Classification d'objets dans un modèle de connaissances multi-points de vue en utilisant le modèle du tableau noir
Détection visuelle d'anomalies de conception
Vers un modèle formel en analyse à objets
Architecture réflexive à base de composants pour la construction d'applications concurrentes et réparties
Contrôler la visibilité des aspects avec Aspectboxes
Research topics in software composition
Realizing the Model Driven Engineering Vision
Action Language for the UML
Affinity : un matching de documents basé sur une approche sémantique
Un modèle pour la représentation multiple dans les bases de données orientées-objet
Langages et Modèles à Objets, LMO 2009, Nancy, France, 25-27 mars 2009
Objets variables : une alternative à la structure "forte"
XML est-il le langage de représentation de connaissance de l'an 2000 ?
Implémentation des attributs booléens par un Meta Object Protocol
Méta-modélisation de la transformation de modèles par l'exemple : approche par méta-heuristiques
Classer des concepts déefinis avec des déefauts et des exceptions
Actes des journéees Langages et Modèles à Objets, LMO'06. Nîmes, France, 22-24 mars
Object-Oriented Technologies: A Scientific Perspective
Evaluation dynamique des messages dans un environnement compilé typé et distribué : application aux interactions entre objets distants
Synthèse d'observateurs à partir d'exigences temporelles
Webjects, de vrais objets en paramètres des services web
Algebraic specification of dynamic objects
Vers une intégration des relations Partie-Tout en AROM
Lightweight Semantics For Shared Object-oriented Software
Langages et Modèles à Objets, LMO 2008, Montréal, Québec, Canada, 5-7 mars 2008
Réseaux Probabilistes Orientés Objet
Actes des journées Langages et Modèles à Objets, LMO'97. Roscoff, France, 22-24 octobre
Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox
Ecrire du code élégant pour des algorithmes complexes
Using Metaobjects to Model Concurrent Objects with PICT
Datalog, units and information hiding
Implémentation d'un modèle UML de composition hiérarchique
Protocoles d'utilisation de composants : spécification et analyse en Kmelia
Outils méthodologiques pour la conception de bases de données décisionnelles orientées objet
Tissage d'aspects comportementaux
Représentation de connaissances au moyen de classes et d'associations : le système AROM
Une nouvelle approche de la spécification du comportement des objets composites en UML
Un cadre réflexif pour la programmation par aspects
Aspects: a mid-term test
LCPaide: un langage de concepts et de propositions hybride
Test d'intégration d'un système à objets - planification de l'ordre d'intégration
Le hachage parfait fait-il un parfait test de sous-typage?
Synthèse de types dans les langages à objets
Essentials of Scala
Génération de code à l'aide de patrons de conception
Utilisation de SysML pour la modélisation des réseaux de capteurs
Modélisation algébrique et représentation de connaissances par objets en AROM
Type de service générique pour la réutilisation de composants
Un framework de traçabilité pour des transformations à caractère impératif
Matrice de dépendances enrichie
Raisonnement taxinomique dans les bases de données objets spatiales
Models Involving Multiple Instances of a Component
Vers un modèle du raisonnement dans les langages à objets
Étude empirique de l'influence de l'héritage multiple sur l'entropie conceptuelle : comparaison avec l'héritage simple
Les Zero-Safe Nets pour la Préservation de la TTC dans les Diagrammes d'Activité d'UML
Assemblage automatique et adaptation d'applications à base de composants
COVID-19 Diagnosis from X-Ray Images Using Deep Learning
MARS: Scheduling non-local tasks in mapreduce
A distributed video share system based on Hadoop
A collaborative recommendation algorithm based on user cluster classification
Optimization for Demand Side Management with PAR in Smart Building
An approach to the computation of distance of concept lattice by utilizing waned value of intension
New word detection and emotional tendency judgment based on mixed model
An approach for secure-communication between XEN virtual machines
Parking Space Prediction Algorithm Based on Recurrent Neural Network and Ensemble Learning Algorithm
TCCE_LSTM_A: A Temperature Correction Model with Clustering and Expansion by Combining Long Short-term Memory with Attention Mechanism
An Idea of setting weighting functions for feature selection
System Protection Controllable Resource Pool Situational Awareness
Supervised Discrete Matrix Factorization Hashing For Cross-Modal Retrieval
Node information in WSN from the business perspective
Naive Bayes classification algorithm based on small sample set
Face Image Smart Capture System Using Embedded Device
A GNN-Based Routing and Scheduling Mechanism for Multi-domain Computing First Network
Multi-scale Features Fusion Network for Unsupervised Change Detection in Heterogeneous Optical and SAR Images
Impact Factors Analysis on Path Selection of Passengers in Urban Rail Transit Emergencies
Detecting and diagnosing application misbehaviors in 'on-demand' virtual computing infrastructures
A Pythagorean fuzzy information acquisition method based on BiLSTM
A Multi-objective Particle Swarm Optimizer Based on Simulated Annealing and Decomposition
Designing of authentication protocol for multi-level security virtual desktops
Probability-constrained Filtering for Linear System with Successive Packet Dropouts and Multiplicative Noises
Cooperative Scheduling of An Isolated Island Microgrid
Formation Fault Tolerant Control of Multi - UAV Based on Virtual Actuator
A decision model of identifying user travel pattern based on the intelligent terminal sensor data
How to move your own applications into the cloud by exploiting interfaces automation and accessibility features
Knowledge Transfer-Based Multiple Data Sets Collaborative Analysis for Hyperspectral Band Selection
Exploring Uncertain Samples through Active Learning To Enhance Text Emotion Classification
Performance modeling and optimization of MapReduce programs
ReCUS: Reconvolution and Upsampling Network for Object Detection
Keyword extraction of web pages based on domain thesaurus