Search results for "must"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
48	Luis Fernando Llana Díaz, David de Frutos-Escrig	Relating May and Must Testing Semantics for Discrete Timed Process Algebras.	ASIAN	1999	DBLP DOI BibTeX RDF	testing semantics, must, may, time, process algebra
47	Marshini Chetty, Richard Mortier (eds.)	Proceedings of the 2012 ACM SIGCOMM Workshop on Measurements Up the Stack, W-MUST '12, Helsinki, Finland, August 17, 2012	W-MUST@SIGCOMM	2012	DBLP DOI BibTeX RDF
47	Simone Basso, Michela Meo, Antonio Servetti, Juan Carlos De Martin	Estimating packet loss rate in the access through application-level measurements.	W-MUST@SIGCOMM	2012	DBLP DOI BibTeX RDF
47	Chien-Nan (Shannon) Chen, Cing-yu Chu, Su-Ling Yeh, Hao-Hua Chu, Polly Huang	Measuring the perceptual quality of Skype sources.	W-MUST@SIGCOMM	2012	DBLP DOI BibTeX RDF
47	Zachary S. Bischof, John S. Otto, Fabián E. Bustamante	Up, down and around the stack: ISP characterization from network intensive applications.	W-MUST@SIGCOMM	2012	DBLP DOI BibTeX RDF
47	Jake Martin, Nick Feamster	User-driven dynamic traffic prioritization for home networks.	W-MUST@SIGCOMM	2012	DBLP DOI BibTeX RDF
47	Nina Taft, David Wetherall (eds.)	Proceedings of the first ACM SIGCOMM workshop on Measurements up the stack, W-MUST@SIGCOMM 2011, Toronto, Ontario, Canada, August 19, 2011	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
47	Peng Sun, Minlan Yu, Michael J. Freedman, Jennifer Rexford	Identifying performance bottlenecks in CDNs through TCP-level monitoring.	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
47	Katarzyna Wac, Selim Ickin, Jin-Hyuk Hong, Lucjan Janowski, Markus Fiedler, Anind K. Dey	Studying the experience of mobile applications used in different contexts of daily life.	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
47	Patrick Brundell, Andrew Crabtree, Richard Mortier, Tom Rodden, Paul Tennent, Peter Tolmie	The network from above and below.	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
47	J. Scott Miller, Amit Mondal, Rahul Potharaju, Peter A. Dinda, Aleksandar Kuzmanovic	Understanding end-user perception of network problems.	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
47	Xiao Sophia Wang, David R. Choffnes, Patrick Gage Kelley, Ben Greenstein, David Wetherall	Measuring and predicting web login safety.	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
47	Christian Kreibich, Nicholas Weaver, Gregor Maier, Boris Nechaev, Vern Paxson	Experiences from Netalyzr with engaging users in end-system measurement.	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
47	Yu Jin 0001, Nick G. Duffield, Alexandre Gerber, Patrick Haffner, Wen-Ling Hsu, Guy Jacobson, Subhabrata Sen, Shobha Venkataraman, Zhi-Li Zhang	Large-scale app-based reporting of customer problems in cellular networks: potential and limitations.	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
47	Zachary S. Bischof, John S. Otto, Mario A. Sánchez, John P. Rula, David R. Choffnes, Fabián E. Bustamante	Crowdsourcing ISP characterization to the network edge.	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
47	Raimund Schatz, Sebastian Egger	Vienna surfing: assessing mobile broadband quality in the field.	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
47	Diana Joumblatt, Renata Teixeira, Jaideep Chandrashekar, Nina Taft	Performance of networked applications: the challenges in capturing the user's perception.	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
47	Ricky K. P. Mok, Edmond W. W. Chan, Xiapu Luo, Rocky K. C. Chang	Inferring the QoE of HTTP video streaming from user-viewing activities.	W-MUST@SIGCOMM	2011	DBLP DOI BibTeX RDF
42	Ju Qian, Baowen Xu, Hongbo Min	Interstatement must aliases for data dependence analysis of heap locations.	PASTE	2007	DBLP DOI BibTeX RDF	must alias, data dependence, pointer analysis, heap
42	Éric Grégoire, Bertrand Mazure, Cédric Piette	MUST: Provide a Finer-Grained Explanation of Unsatisfiability.	CP	2007	DBLP DOI BibTeX RDF	unsatisfiability, MUC, MUS, MUST, CSP, explanation, constraint networks
38	Oleksandr Syzoniuk, Saoni Banerji, Alvo Aabloo, Indrek Must	A decrease in impedance of monolithic activated carbon cloth electrodes at increased charge density.	RoboSoft	2023	DBLP DOI BibTeX RDF
38	Yauheni Sarokin, Vadim Becquer, Eric Cattan, Alvo Aabloo, Indrek Must	Charge-Dependent Flexural Rigidity of a Conductive Polymer Laminate for Bioinspired Non-thermal Compliance Modulation.	Living Machines (1)	2023	DBLP DOI BibTeX RDF
38	Hana Geara, Kadri-Ann Valdur, Indrek Must	Mycelium Bridge as a Living Electrical Conductor: Access Point to Soil Infosphere.	Living Machines (2)	2023	DBLP DOI BibTeX RDF
38	Kadri-Ann Valdur, Tarmo Tamm, Alvo Aabloo, Indrek Must	A Self-Commutated Helical Polypyrrole Actuator Fabricated by Filament Patterning.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
38	Mona Küüts, Alvo Aabloo, Indrek Must	A leaf-inspired robot combining embroidered structure with ion-induced actuation.	RoboSoft	2022	DBLP DOI BibTeX RDF
38	Ülle Must	The Highly Cited Researchers with Researcher ID: Patterns of Behavior through Time.	J. Sci. Res.	2020	DBLP DOI BibTeX RDF
38	Hip Kõiv, Ksenija Pesti, Mart Min, Raul Land, Indrek Must	Comparison of the Carbon Nanofiber-/Fiber- and Silicone-Based Electrodes for Bioimpedance Measurements.	IEEE Trans. Instrum. Meas.	2020	DBLP DOI BibTeX RDF
38	Ülle Must	Priorities for Social and Humanities Projects Based on Text Analysis①.	J. Data Inf. Sci.	2020	DBLP DOI BibTeX RDF
38	Indrek Must, Pille Rinne, Friedrich Krull, Friedrich Kaasik, Urmas Johanson, Alvo Aabloo	Ionic Actuators as Manipulators for Microscopy.	Frontiers Robotics AI	2019	DBLP DOI BibTeX RDF
38	Ülle Must	Priorities for Social and Humanities Projects Based on Text Analysis.	ISSI	2019	DBLP BibTeX RDF
38	Külli Kori, Margus Pedaste, Olev Must	The Academic, Social, and Professional Integration Profiles of Information Technology Students.	ACM Trans. Comput. Educ.	2018	DBLP DOI BibTeX RDF
38	Liina Adov, Olev Must, Margus Pedaste	Attitudes Towards Mobile Devices in Estonian Basic Education: Using the Framework of the UTAUT Model.	HCI (26)	2017	DBLP DOI BibTeX RDF
38	Külli Kori, Margus Pedaste, Olev Must	Integration of Estonian Higher Education Information Technology Students and Its Effect on Graduation-Related Self-efficacy.	HCI (26)	2017	DBLP DOI BibTeX RDF
38	Indrek Must, Friedrich Kaasik, Inga Poldsalu, Lauri Mihkels, Urmas Johanson, Andres Punning, Alvo Aabloo	Pulse-width-modulated charging of ionic and capacitive actuators.	AIM	2014	DBLP DOI BibTeX RDF
38	Indrek Must, Urmas Johanson, Friedrich Kaasik, Inga Poldsalu, Andres Punning, Alvo Aabloo	An ionic liquid-based actuator as a humidity sensor.	AIM	2013	DBLP DOI BibTeX RDF
38	Ülle Must	Alone or together: examples from history research.	Scientometrics	2012	DBLP DOI BibTeX RDF
38	Ülle Must	"New"countries in Europe - Research, development and innovation strategies vs bibliometric data.	Scientometrics	2006	DBLP DOI BibTeX RDF
36	Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali	Compositional may-must program analysis: unleashing the power of alternation.	POPL	2010	DBLP DOI BibTeX RDF	software model checking, abstraction refinement, directed testing
32	George V. Neville-Neil	MUST and MUST NOT.	Commun. ACM	2019	DBLP DOI BibTeX RDF
32	George V. Neville-Neil	MUST and MUST NOT.	ACM Queue	2019	DBLP DOI BibTeX RDF
32	Daniel S. Hamilton	Going Beyond Static Understandings: Resilience Must Be Shared, and It Must Be Projected Forward.	Critical Infrastructure Protection Against Hybrid Warfare Security Related Challenges	2016	DBLP DOI BibTeX RDF
32	Tatsunori Mori, Rintaro Miyazaki	A Simple Baseline Method for NTCIR-7 MuST T2N Task -Yokohama National University at NTCIR-7 MuST T2N-.	NTCIR	2008	DBLP BibTeX RDF
32	Kathleen T. Bivins Noerr	Resource Sharing: New Technologies as a Must for Universal Availability of Information - Conference Summary.	Essen Symposium	1993	DBLP BibTeX RDF
32	Daniel Grund, Jan Reineke 0001	Abstract Interpretation of FIFO Replacement.	SAS	2009	DBLP DOI BibTeX RDF	FIFO Replacement, Domain Cooperation, May/Must Reasoning, Cache Analysis
26	Giuseppe Castagna, Nils Gesbert, Luca Padovani	A theory of contracts for Web services.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	explicit coercions, must testing, Web services, contracts, subtyping, type theory, ccs, concurrency theory
26	Giuseppe Castagna, Nils Gesbert, Luca Padovani	A theory of contracts for web services.	POPL	2008	DBLP DOI BibTeX RDF	explicit coercions, must testing, web services, contracts, subtyping, type theory, CCS, concurrency theory
26	Deepak Goyal, Robert Paige	A New Solution to the Hidden Copy Problem.	SAS	1998	DBLP DOI BibTeX RDF	Copy Optimization, Big Step Operational Semantics, Must Alias Analysis, Abstract Interpretation
26	V. Natarajan 0001, Rance Cleaveland	Predictability of real-time systems: a process-algebraic approach.	RTSS	1996	DBLP DOI BibTeX RDF	real time systems predictability, testing-based semantic preorder, process description language, TPL, activity-completion times, semantic preorder, must-preorder, optimality, process algebra, process algebra, variability, timing behavior
24	Ju Qian, Yuming Zhou, Baowen Xu	Improving Side-Effect Analysis with Lazy Access Path Resolving.	SCAM	2009	DBLP DOI BibTeX RDF	must alias, points-to analysis, side-effect
24	Oscar Nierstrasz	Modeling Change as a First-Class Entity.	ASWEC	2007	DBLP DOI BibTeX RDF	Software Systems must change to remain useful, Current programming languages and support environments, however, treat software systems as though they were static, unchanging and globally consistent, We argue in favour of a more dynamic approach in which complex software systems can seen as a set of overlapping and constantly changing contexts, We report on some initial research activities pointing in this direction, and we lay out our vision for modeling and managing change as a first-class entity
24	Dong-Oh Kim, Dong-Suk Hong, Hong-Koo Kang, Ki-Joon Han	UR-Tree: An Efficient Index for Uncertain Data in Ubiquitous Sensor Networks.	GPC	2007	DBLP DOI BibTeX RDF	Ubiquitous Sensor Network (USN), May/Must Query, Index, Uncertainty, Uncertain Data
24	Jan Peleska 0001, Michael Siegel	From Testing Theory to Test Driver Implementation.	FME	1996	DBLP DOI BibTeX RDF	may tests, must tests, refinement, test generation, CSP, reactive systems, FDR, test evaluation
24	M. Molla-Hosseini, Roger M. Kerr, Robert B. Randall, R. B. Platfoot	An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Notation n state of device, n 0: state following a Poisson failure, n 1: operating state, n 2: minimal maintenance state, k number of stages of deterioration before deterioration failure, s at maintenance event s after s-1 minimalmaintenance the maintenance must be a major maintenance, P(i,j,n) steady-state probability that the device is in state (i,j,n), i=deterioration-stage index, j=minimal maintenance number, Pd steady-state probability that the device is being overhauled after a deteriorating failure, P0 steady-state probability that the device is out of service due to major maintenance, minimal maintenance, minimal repair respectively, 1/ d mean time between as good as new and deterioration failure if no maintenance is initiated, 1/ 0 mean time to Poisson failure, 1/ m mean time to the next maintenance event, 1/ d mean duration of overhauling the device following a deterioration failure, 1/ m mean duration of minimal maintenance, 1/ M mean duration of major maintenance, 1/ 0 mean duration of repair after Poisson failure, U steady-state unavailability of the device, PM, Pm
24	Xiaodong Ma, Ji Wang 0001, Wei Dong 0006	Computing Must and May Alias to Detect Null Pointer Dereference.	ISoLA	2008	DBLP DOI BibTeX RDF
23	John A. Lewis	An Experiment to Determine Software Reusability Factors (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
22	Mayur Naik, Alex Aiken	Conditional must not aliasing for static race detection.	POPL	2007	DBLP DOI BibTeX RDF	static race detection, Java, concurrency, synchronization, multi-threading
22	László Csirmaz	The Size of a Share Must Be Large.	J. Cryptol.	1997	DBLP DOI BibTeX RDF	Polymatroid structures, Polymatroid structures, Secret sharing, Secret sharing, Key words, Ideal secret sharing schemes, Ideal secret sharing schemes, Perfect security, Perfect security
21	Diana Patterson	The myth and realities of C.A.S.E. for documentation.	SIGDOC	1989	DBLP DOI BibTeX RDF
20	Helmut Seidl, Vesal Vojdani, Varmo Vene	A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis.	FM	2009	DBLP DOI BibTeX RDF
20	Haichao Huang, Yong Cheng, Ruilian Zhao	A Semi-supervised Clustering Algorithm Based on Must-Link Set.	ADMA	2008	DBLP DOI BibTeX RDF	MLC-KMeans Algorithm, Constraint, Semi-supervised Learning, Data Clustering
20	Robert Sheahan, Lester Lipsky, Pierre M. Fiorini, Søren Asmussen	On the completion time distribution for tasks that must restart from the beginning if a failure occurs.	SIGMETRICS Perform. Evaluation Rev.	2006	DBLP DOI BibTeX RDF
20	Joshua Underwood, Rosemary Luckin	Adequate Decision Support Systems Must Also Be Good Learning Environments.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
20	Rita Z. Altucher, William Landi	An Extended Form of Must Alias Analysis for Dynamic Allocation.	POPL	1995	DBLP DOI BibTeX RDF
20	László Csirmaz	The Size of a Share Must Be Large.	EUROCRYPT	1994	DBLP DOI BibTeX RDF	polymatroid structures, Secret sharing, ideal secret sharing schemes, perfect security
19	William J. Creighton	Managing technical staff.	SIGUCCS	1990	DBLP DOI BibTeX RDF
19	Mark B. Johnson	You cannot lead a horse to water: taking charge of microcomputer support.	SIGUCCS	1987	DBLP DOI BibTeX RDF
18	Guoqing Xu 0001, Atanas Rountev, Manu Sridharan	Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis.	ECOOP	2009	DBLP DOI BibTeX RDF
18	Al Geist	MPI Must Evolve or Die.	PVM/MPI	2008	DBLP DOI BibTeX RDF
18	Jonah N. Schupbach	Must the Scientific Realist be a Rationalist?	Synth.	2007	DBLP DOI BibTeX RDF
18	Cosimo Laneve, Luca Padovani	The Must Preorder Revisited.	CONCUR	2007	DBLP DOI BibTeX RDF
18	Felix Bübl	What Must (Not) Be Available Where?	OTM	2003	DBLP DOI BibTeX RDF
18	Ugo de'Liguoro, Adolfo Piperno	Must Preorder in Non-Deterministic Untyped Lambda-Calculus.	CAAP	1992	DBLP DOI BibTeX RDF
16	Eduardo Nacimiento-García, Carina S. González-González, Francisco Luis Gutiérrez Vela	Automatic captions on video calls: a must for the older adults.	Univers. Access Inf. Soc.	2024	DBLP DOI BibTeX RDF
16	Jimmy Hammarbäck, Jens Alfredson, Björn J. E. Johansson, Jonas Lundberg	My synthetic wingman must understand me: modelling intent for future manned-unmanned teaming.	Cogn. Technol. Work.	2024	DBLP DOI BibTeX RDF
16	Sushmita Gupta, M. S. Ramanujan 0001, Peter Strulo	An Exercise in Tournament Design: When Some Matches Must Be Scheduled.	CoRR	2024	DBLP DOI BibTeX RDF
16	Gregory Coppola	Logical Discrete Graphical Models Must Supplement Large Language Models for Information Synthesis.	CoRR	2024	DBLP DOI BibTeX RDF
16	Xiang Chang, Zihe Chen, Xiaoyan Dong, Yuxin Cai, Tingmin Yan, Haolin Cai, Zherui Zhou, Guyue Zhou, Jiangtao Gong	"It Must Be Gesturing Towards Me": Gesture-Based Interaction between Autonomous Vehicles and Pedestrians.	CoRR	2024	DBLP DOI BibTeX RDF
16	Zelin Zang, Liangyu Li, Yongjie Xu, Chenrui Duan, Kai Wang, Yang You, Yi Sun, Stan Z. Li	Must: Maximizing Latent Capacity of Spatial Transcriptomics Data.	CoRR	2024	DBLP DOI BibTeX RDF
16	Gavin Leech, Simson Garfinkel, Misha Yagudin, Alexander Briand, Aleksandr Zhuravlev	Ten Hard Problems in Artificial Intelligence We Must Get Right.	CoRR	2024	DBLP DOI BibTeX RDF
16	W. Benedikt Schmal	The 'Must Stock' Challenge in Academic Publishing: Pricing Implications of Transformative Agreements.	CoRR	2024	DBLP DOI BibTeX RDF
16	Nicola Piovesan, Antonio De Domenico, Fadhel Ayed	Telecom Language Models: Must They Be Large?	CoRR	2024	DBLP DOI BibTeX RDF
16	Rafi Santo, Aman Yadav, David Phelps	Their Fight Is Our Fight: Why Computing Education Advocates Must Be in Solidarity with Public Schools.	ACM Trans. Comput. Educ.	2024	DBLP DOI BibTeX RDF
16	Pete Jones, Deb Verhoeven, Aresh Dadlani, Vejune Zemaityte	She Must Be Seeing Things! Gender disparity in camera department networks.	Soc. Networks	2024	DBLP DOI BibTeX RDF
16	Aakarsh Malhotra, Mayank Vatsa, Richa Singh 0001, Keith B. Morris, Afzel Noore	Multi-Surface Multi-Technique (MUST) Latent Fingerprint Database.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
16	Shota Shimizu, Shun Sakayauchi, Hiroki Shibata, Yasufumi Takama	Dynamic Generation of Subordinate Clusters Based on Bayesian Information Criterion for Must-Link Constrained K-Means.	J. Adv. Comput. Intell. Intell. Informatics	2024	DBLP DOI BibTeX RDF
16	Dorit Nuzman, Ayal Zaks, Ziv Ben-Zion	If-Convert as Early as You Must.	CC	2024	DBLP DOI BibTeX RDF
16	Vassilka D. Kirova, Cyril S. Ku, Joseph R. Laracy, Thomas J. Marlowe	Software Engineering Education Must Adapt and Evolve for an LLM Environment.	SIGCSE (1)	2024	DBLP DOI BibTeX RDF
16	Guanjie Wang, Zehua Ma, Chang Liu, Xi Yang, Han Fang, Weiming Zhang, Nenghai Yu	MuST: Robust Image Watermarking for Multi-Source Tracing.	AAAI	2024	DBLP DOI BibTeX RDF
16	Sushmita Gupta, Ramanujan Sridharan, Peter Strulo	An Exercise in Tournament Design: When Some Matches Must Be Scheduled.	AAAI	2024	DBLP DOI BibTeX RDF
16	Dario Altobelli	"Society must be controlled" "Green Pass" and the experiment of a society of control in Italy.	Kybernetes	2023	DBLP DOI BibTeX RDF
16	Trey Boone, Nina Van Rooy, Felipe De Brigard	Not Every Thing Must Go.	J. Cogn. Neurosci.	2023	DBLP DOI BibTeX RDF
16	Yebin Lee, Jin Hur	Practical Generation Resource Planning Based on Screening Curve Method Considering Must-Run Constraints: The Case of Jeju Island's Power Grids.	IEEE Access	2023	DBLP DOI BibTeX RDF
16	Elette Boyle, Ran Cohen, Deepesh Data, Pavel Hubácek	Must the Communication Graph of MPC Protocols be an Expander?	J. Cryptol.	2023	DBLP DOI BibTeX RDF
16	Chunli Liu, Liu Yang, Weibo Gao, Yang Li, Yezheng Liu 0001	MuST: An interpretable multidimensional strain theory model for corporate misreporting prediction.	Electron. Commer. Res. Appl.	2023	DBLP DOI BibTeX RDF
16	João Marques-Silva 0001, Alexey Ignatiev	No silver bullet: interpretable ML models must be explained.	Frontiers Artif. Intell.	2023	DBLP DOI BibTeX RDF
16	Melissa A. Wong	"The Teaching of Reference Must Keep Pace": Teaching Sources and Searching in an Evolving Reference Environment.	Libr. Trends	2023	DBLP DOI BibTeX RDF
16	Rachael Lyon, Aaron Jones, Rosemary Burke, Melissa T. Baysari	What Goes Up, Must Come Down: A State-of-the-Art Electronic Health Record Downtime and Uptime Procedure in a Metropolitan Health Setting.	Appl. Clin. Inform.	2023	DBLP DOI BibTeX RDF
16	Xingyuan Zhao, Fang Liu	Enhancing Trade-offs in Privacy, Utility, and Computational Efficiency through MUltistage Sampling Technique (MUST).	CoRR	2023	DBLP DOI BibTeX RDF
16	Christian Hugo Hoffmann, Frederik F. Flöther	Why Business Adoption of Quantum and AI Technology Must Be Ethical.	CoRR	2023	DBLP DOI BibTeX RDF
16	Yefim Dinitz, Solomon Eyal Shimony	On Existence of Must-Include Paths and Cycles in Undirected Graphs.	CoRR	2023	DBLP DOI BibTeX RDF