|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 612 occurrences of 351 keywords
|
|
|
Results
Found 872 publication records. Showing 872 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Pero Latkoski, Toni Janevski, Borislav Popovski |
Performance Evaluation and Modeling of IEEE 802.11a WLAN Based on SDL Simulation. |
ISCC |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Rüdiger Grammes |
Formal Operations for SDL Language Profiles. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Sabine M. Böhm |
H-RAFT - Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDL. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Xiaoming Fu 0001, Dieter Hogrefe |
Modeling Soft State Protocols with SDL. |
NETWORKING |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Petri Kukkala, Marko Hännikäinen, Timo D. Hämäläinen |
Co-simulation of Wireless Local Area Network Terminals with Protocol Software Implemented in SDL. |
DSD |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Miguel León Chávez, Francisco Rodríguez-Henríquez |
SDL Specification of a Security Architecture for WorldFIP. |
CONIELECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Minna Pikkarainen, Matias Vierimaa, Hannu Tanner, Raija Suikki |
Automatic Measurement at Nokia Mobile Phones: A Case of SDL Based Software Development. |
PROFES |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Christian Rinderknecht |
Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
Abstract Syntax Notation One, Basic Encoding Rules, formal methods, protocol, specification, vulnerabilities, BER, ASN.1 |
27 | Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible |
A Flexible Micro Protocol Framework. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Ferhat Khendek, Xiao-Jun Zhang |
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Deepak D'Souza, Madhavan Mukund |
Checking Consistency of SDL+MSC Specifications. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Andreas Prinz 0001, Martin von Löwis |
Engineering the SDL Formal Language Definition. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Dolores M. Zage, Wayne M. Zage |
An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
27 | G. R. Chaji, Seid Mehdi Fakhraie, Kenneth Carless Smith |
Pseudo dynamic logic (SDL): a high-speed and low-power dynamic logic family. |
ISCAS (3) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Natalia Sidorova, Martin Steffen |
Synchronous Closing of Timed SDL Systems for Model Checking. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Andreas Prinz 0001, Mario Schwarz |
Object-Oriented Specification of Protocols for Reusability. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible |
Micro Protocol Design: The SNMP Case Study. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Daniel Amyot, Gunter Mussbacher |
URN: Towards a New Standard for the Visual Description of Requirements. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Natalia Ioustinova, Natalia Sidorova |
A Transformation of SDL Specifications - A Step towards the Verification. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
27 | J. Jenny Li, Joseph Robert Horgan |
chiProf-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design. |
Computer Performance Evaluation / TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Richard O. Sinnott, Mario Kolberg |
Creating Telecommunication Services based on Object-Oriented Frameworks and SDL. |
ISORC |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Anders Olsen, Didier Demany, Elsa Cardoso, Fiona Lodge, Mario Kolberg, Morgan Björkander, Richard O. Sinnott |
The Pros and Cons of Using SDL for Creation of Distributed Services. |
IS&N |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Lars Mats |
Selection Criteria for Automated TTCN Test Case Generation from SDL. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Dominique Méry, Abdelillah Mokkedem |
Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. |
CAV |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti |
The Efficiency of Critical Slicing in Fault Localization. |
Softw. Qual. J. |
2005 |
DBLP DOI BibTeX RDF |
strong and weak mutations, dead, live and equivalent mutants, static and dynamic slicing, critical slicing, statement deletion (Sdl), Mothra Mutation Testing System, Fortran-77, mutation testing, mutation operator |
27 | Kenneth J. Turner |
Formalising Graphical Behaviour Descriptions. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
Graphical Specification, Lotos (Language Of Temporal Ordering Specification), SDL (Specification and Description Language), Voice Service |
27 | Natalia Sidorova, Martin Steffen |
Verification of a wireless ATM medium-access protocol. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
medium-access protocol verification, modular structure, SDL specification, abstraction techniques, system debugging, untimed properties, time-dependent properties, model checking, formal specification, formal verification, wireless LAN, asynchronous transfer mode, access protocols, state space reduction, wireless ATM |
27 | Cédric Besse, Ana R. Cavalli, David Lee 0001 |
An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
SDL language, fault coverage, conformance testing, optimization techniques, TCP/IP protocol |
27 | P. Blysa |
SDT a tool for complex real-time systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor |
21 | Satoru Suzuki |
Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
conditional expected utility maximisation, preference, projective geometry, deontic logic, measurement theory, representation theorem |
21 | Jaroslaw Bak, Czeslaw Jedrzejek, Maciej Falkowski |
Usage of the Jess Engine, Rules and Ontology to Query a Relational Database. |
RuleML |
2009 |
DBLP DOI BibTeX RDF |
Jess engine, ontology, relational database, reasoning, rules |
21 | Chan Yong Park, Soo-Jun Park |
Multi-purpose Ambient Display System Supporting Various Media Objects. |
ICOST |
2009 |
DBLP DOI BibTeX RDF |
scene description language, ambient display, multimedia object |
21 | Jay Cheng |
Constructions of Optical 2-to-1 FIFO Multiplexers With a Limited Number of Recirculations. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Martin Versen, Achim Schramm, Jan Schnepp, Dorina Diaconescu |
Test Instrumentation for a Laser Scanning Localization Technique for Analysis of High Speed DRAM devices. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Nan Lin, Wei Liu 0001, Richard J. Langley |
Performance analysis of a two-element linearly constrained minimum variance beamformer with sensor delay-line processing. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Christian Webel, Reinhard Gotzhein, Joachim Nicolay |
NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Pilar Dellunde, Lluís Godo |
Introducing Grades in Deontic Logics. |
DEON |
2008 |
DBLP DOI BibTeX RDF |
Fuzzy Logic, Norms, Institutions, Deontic Logic |
21 | Xiaoliang Wang 0001, Xiaohong Jiang 0001, Susumu Horiguchi |
Improved Bounds on the Feedfoward Design of Optical Multiplexers. |
ISPAN |
2008 |
DBLP DOI BibTeX RDF |
optical buffered feedforward multiplexer |
21 | Aleksandra B. Slavkovic, Yuval Nardi, Matthew M. Tibbits |
Secure Logistic Regression of Horizontally and Vertically Partitioned Distributed Databases. |
ICDM Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Weishi Zhang, Xiuguo Zhang |
Modeling Service Interactions Using Kahn Process Network. |
PDCAT |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Mauri Kuorilehto, Mikko Kohvakka, Marko Hännikäinen, Timo D. Hämäläinen |
High Abstraction Level Design and Implementation Framework for Wireless Sensor Networks. |
SAMOS |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li |
A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons. |
PaCT |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Shuhua Wang, Grace Tsai |
Specification and Timing Analysis of Real-Time Systems. |
Real Time Syst. |
2004 |
DBLP DOI BibTeX RDF |
functional and timing requirements, real-time systems, specification, schedulability analysis, allocation |
21 | Cheng-Shang Chang, Duan-Shin Lee, Chao-Kai Tu |
Recursive construction of FIFO optical multiplexers with switched delay lines. |
IEEE Trans. Inf. Theory |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Gregory R. Wheeler, Carlos Viegas Damásio |
An Implementation of Statistical Default Logic. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ramesh A. Dandekar |
Maximum Utility-Minimum Information Loss Table Server Design for Statistical Disclosure Control of Tabular Data. |
Privacy in Statistical Databases |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Martin Kardos, Franz J. Rammig |
Model Based Formal Verification of Distributed Production Control Systems. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Christian Stehno |
System Specification and Verification Using High Level Concepts - A Tool Demonstration. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Robert M. Hierons, T.-H. Kim, Hasan Ural |
Expanding an Extended Finite State Machine to aid Testability. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
testability, extended finite state machine, infeasible paths |
21 | Per Bjuréus, Axel Jantsch |
Modeling of mixed control and dataflow systems in MASCOT. |
IEEE Trans. Very Large Scale Integr. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Guoping Jia, Susanne Graf |
Verification Experiments on the MASCARA Protocol. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Per Bjuréus, Axel Jantsch |
MASCOT: A Specification and Cosimulation Method Integrating Data and Control Flow. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Leonidas Fegaras, Chandrasekhar Srinivasan, Arvind Rajendran, David Maier 0001 |
lambda-DB: An ODMG-Based Object-Oriented DBMS. |
SIGMOD Conference |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier |
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Marc Born, Andreas Hoffmann 0001 |
An Object-Oriented Design Methodology for Distributed Services. |
TOOLS (28) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Hans Fleischhack, Josef Tapken |
An M-Net Semantics for a Real-Time Extension of µSDL. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Valery A. Nepomniaschy, Nikolay V. Shilov 0002 |
REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Wissam Mallouli, Ana R. Cavalli |
Testing Security Rules with Decomposable Activities. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
Verification and Testing, Test Generation, Security Policy, SDL, Extended Finite State Machine |
17 | Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frédéric Cuppens |
A formal approach for testing security rules. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
verification and testing, test generation, security policy, SDL, EFSM, OrBAC |
17 | Hongzhi Liang, Jürgen Dingel, Zinovy Diskin |
A comparative survey of scenario-based to state-based model synthesis approaches. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
model, UML, petri nets, synthesis, scenario, SDL, state machines, MSC |
17 | Sven Ove Hansson |
A New Representation Theorem for Contranegative Deontic Logic. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
contranegative predicate, standard deontic logic, preference logic, SDL, deontic logic, representation theorem |
17 | Dieter Hogrefe |
Main issues in protocol testing. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
IPv6, SDL, MSC, Protocol testing, TTCN |
17 | J. Jenny Li, W. Eric Wong |
Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
CEFSM, specification, test generation, SDL |
17 | Marcien MacKaya, Ousmane Koné, Richard Castanet |
Modelling location operations in UMTS networks. |
MSWiM |
2002 |
DBLP DOI BibTeX RDF |
location based services, UMTS, SDL, MSC, protocol engineering |
17 | Cédric Besse, Ana R. Cavalli, Ferhat Khendek |
Partial Validation of a Design Specification with Respect to Requirements. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
MSC views, MSC traces, Specification, Validation, Requirement, SDL, MSC |
17 | Amer Baghdadi, Nacer-Eddine Zergainoh, Wander O. Cesário, T. Roudier, Ahmed Amine Jerraya |
Design Space Exploration for Hardware/Software Codesign of Multiprocessor Systems. |
IEEE International Workshop on Rapid System Prototyping |
2000 |
DBLP DOI BibTeX RDF |
Design Space Exploration, SDL, Hardware/Software Codesign, Performance Estimation, Multiprocessor Architectures |
17 | Hans J. Köhler, Ulrich Nickel 0002, Jörg Niere, Albert Zündorf |
Integrating UML diagrams for production control systems. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
UML, UML, embedded systems, statecharts, SDL, graph grammars, collaboration diagrams |
17 | John A. Tufarolo, Jeff Nielsen, Susan Symington, Richard M. Weatherly, Annette L. Wilson, Timothy C. Hyon |
Automated distributed system testing: designing an RTI verification system. |
WSC |
1999 |
DBLP DOI BibTeX RDF |
SDL |
17 | Franz Fischer, Annette Muth, Georg Färber |
Towards interprocess communication and interface synthesis for a heterogeneous real-time rapid prototyping environment. |
CODES |
1998 |
DBLP DOI BibTeX RDF |
task classification model, rapid prototyping, SDL, hard real-time, communication synthesis |
17 | Frank Slomka, Jürgen Zant, Lennard Lambert |
Schedulability analysis of heterogeneous systems for performance message sequence chart. |
CODES |
1998 |
DBLP DOI BibTeX RDF |
SDL |
17 | Jean-Marc Daveau, Gilberto Fernandes Marchioro, Ahmed Amine Jerraya |
Hardware/software co-design of an ATM network interface card: a case study. |
CODES |
1998 |
DBLP DOI BibTeX RDF |
SDL |
17 | Lothar Baum, Martin Becker 0002, Lars Geyer, Georg Molter, Peter Sturm 0001 |
Driving the composition of runtime platforms by architectural knowledge. |
ACM SIGOPS European Workshop |
1998 |
DBLP DOI BibTeX RDF |
SDL |
17 | Stefan Fischer 0001, Stefan Leue |
Formal Methods for Broadband and Multimedia Systems (Tutorial). |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
broadband communication, quality of service, real time, specification, implementation, SDL, formal description techniques, distributed multimedia systems, Estelle |
17 | Gang Luo, Gregor von Bochmann, Alexandre Petrenko |
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing |
17 | Laibo Yu, Guoxiang Liu, Rui Zhang 0052 |
Differences Evaluation among Three Global Remote Sensing SDL Products. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Emmanuel Gaudin, Eric Brunel, Mihal Brumbulli |
Language Agnostic Model Checking for SDL. |
MoDELS (Companion) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Zecang Gu, Xiaoqi Sun, Yuan Sun, Fuquan Zhang |
Probabilistic spatial clustering based on the Self Discipline Learning (SDL) model of autonomous learning. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
17 | Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin |
Model-checking of space systems designed with TASTE/SDL. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Azka Wani, Revathi S, Rubeena Khaliq |
SDN-based intrusion detection system for IoT using deep learning classifier (IDSIoT-SDL). |
CAAI Trans. Intell. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Son Nguyen Truong |
SDL: New data generation tools for full-level annotated document layout. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Xavier Pi i Palomés, Pere Tuset-Peiró, Pau Fonseca i Casas |
Combining Low-Code Programming and SDL-Based Modeling with Snap! in the Industry 4.0 Context. |
MoDELS (Companion) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Kajal Kansal, A. Venkata Subramanyam, Zheng Wang 0007, Shin'ichi Satoh 0001 |
SDL: Spectrum-Disentangled Representation Learning for Visible-Infrared Person Re-Identification. |
IEEE Trans. Circuits Syst. Video Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Mihal Brumbulli, Emmanuel Gaudin |
An attempt to convert BPMN models to SDL. |
SAM |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Pau Fonseca i Casas, Joan Garcia i Subirana, Victor Garcia i Carrasco, Jorge Luiz Silva de Barcellos, Josep Roma, Xavier Pi |
SDL Cellular Automaton COVID-19 conceptualization. |
SAM |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Iryna Karamysheva, Kateryna Lishnievska, Roksolana Nazarchuk |
Peculiarities of Usage of Terminology Management Systems in SDL Trados and MemoQ Translator Pro for Translation of English-language Instructions. |
CSIT (1) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | José Roberto C. Piqueira, Sérgio Henrique Vannucchi Leme de Mattos |
LMC and SDL Complexity Measures: A Tool to Explore Time Series. |
Complex. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Omar Hayat, Razali Ngah, Yasser Zahedi |
Device discovery for D2D communication in in-band cellular networks using sphere decoder like (SDL) algorithm. |
EURASIP J. Wirel. Commun. Netw. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Zecang Gu, Yin Liang, Zhaoxi Zhang |
The Modeling of SDL Aiming at Knowledge Acquisition in Automatic Driving. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Rituparna Sarkar, Scott T. Acton |
SDL: Saliency-Based Dictionary Learning Framework for Image Similarity. |
IEEE Trans. Image Process. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Lingling Zhang, Jie Yang Shair, Yong Wang, Rongcan Li, Hongtu Chen |
Usability Assessment of a Web-Based Self-Directed Learning (SDL) System for Chinese Dementia Caregivers. |
HCI (27) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Soufiane Zahid, Abdeslam En-Nouaary, Slimane Bah |
An SDL to Discrete-Time PROMELA Transformation of Home Area Network model. |
SITA |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Raghudeep Kannavara, Jacob Vangore, William Roberts, Marcus Lindholm, Priti Shrivastav |
Automating Threat Intelligence for SDL. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Asma El Hamzaoui, Abdeslam En-Nouaary, Hicham Bensaid |
On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL. |
ANT/SEIT |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Anna Oganian, Ionut Iacob, Goran Lesaja |
Grouping of Variables to Facilitate SDL Methods in Multivariate Data Sets. |
PSD |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Andres Felipe Fuentes Vasquez, Eugenio Tamura |
From SDL Modeling to WSN Simulation for IoT Solutions. |
WEA (2) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik |
Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin. |
IEEE Access |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Anandi Giridharan |
A Formal Model for Service Discovery Protocol (SDP) using SDL. |
ICMLC |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Raghudeep Kannavara, Gilad Gressel, Damilare Fagbemi, Richard Chow |
A Machine Learning Approach to SDL. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Juha Kalliovaara, Reijo Ekman, Tero Jokela, Mikko Jakobsson, Pekka Talmola, Jarkko Paavola, Esko Huuhka, Matti Jokisalo, Mikko Meriläinen |
Suitability of ITU-R P.1546 propagation predictions for allocating LTE SDL with GE06. |
BMSB |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Zahid Soufiane, Abdeslam En-Nouaary, Slimane Bah |
SDL Modeling and Validation of Home Area Network in Smart Grid Systems. |
SCA |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 872 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|