Search results for "resource-limitation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Markus Müller-Olm, Andreas Wolf 0004	On the Translation of Procedures to Finite Machines.	ESOP	2000	DBLP DOI BibTeX RDF	resource-limitation, verification, compiler, refinement, correctness, procedure, predicate transformer
28	Atslands Rego da Rocha, Cris Amon da Rocha, José Neuman de Souza	Script MIB Extension for Resource Limitation in SNMP Distributed Management Environments.	ICT	2004	DBLP DOI BibTeX RDF
20	Giorgio Farina, Gautam Gala, Marcello Cinque, Gerhard Fohler	Assessing Intel's Memory Bandwidth Allocation for resource limitation in real-time systems.	CoRR	2022	DBLP DOI BibTeX RDF
20	Giorgio Farina, Gautam Gala, Marcello Cinque, Gerhard Fohler	Assessing Intel's Memory Bandwidth Allocation for resource limitation in real-time systems.	ISORC	2022	DBLP DOI BibTeX RDF
20	Junkai He, Miguel F. Anjos, Makhlouf Hadji, Selma Khebbache	Prognostic-based Maintenance Optimization in Complex Systems with Resource Limitation Constraints.	ICORES	2022	DBLP DOI BibTeX RDF
20	Jonathan C. Brant, Kenneth O. Stanley	Diversity preservation in minimal criterion coevolution through resource limitation.	GECCO	2020	DBLP DOI BibTeX RDF
20	Peipei Wang, Wenjie Qin, Guangyao Tang	Modelling and Analysis of a Host-Parasitoid Impulsive Ecosystem under Resource Limitation.	Complex.	2019	DBLP DOI BibTeX RDF
20	Han Seung Jang, Bang Chul Jung, Dan Keun Sung	Dynamic Access Control With Resource Limitation for Group Paging-Based Cellular IoT Systems.	IEEE Internet Things J.	2018	DBLP DOI BibTeX RDF
20	Bahman Ravaei, Masoud Sabaei, Hossein Pedram, Shahrokh Valaee	Targeted content dissemination in mobile social networks taking account of resource limitation.	Concurr. Comput. Pract. Exp.	2017	DBLP DOI BibTeX RDF
20	Mohamed Mohamedin, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran	Managing Resource Limitation of Best-Effort HTM.	IEEE Trans. Parallel Distributed Syst.	2017	DBLP DOI BibTeX RDF
20	Zhaobo Chen, Chunxian Teng, Ding Zhang, Jiayi Sun	Modelling inter-supply chain competition with resource limitation and demand disruption.	Int. J. Syst. Sci.	2016	DBLP DOI BibTeX RDF
20	Mohamed Mohamedin, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran	Brief Announcement: Managing Resource Limitation of Best-Effort HTM.	SPAA	2015	DBLP DOI BibTeX RDF
20	Guillaume Lanquepin-Chesnais, Kjetil K. Haugen, Asmund Olstad	Large-Scale Joint Price-Inventory Decision Problems, Under Resource Limitation and a Discrete Price Set.	J. Math. Model. Algorithms	2012	DBLP DOI BibTeX RDF
15	C. K. Wong, Agnes Chan	Immediate Data Authentication for Multicast in Resource Constrained Network.	ACISP	2005	DBLP DOI BibTeX RDF
15	Rey-Long Liu	Collaborative Multiagent Adaptation for Business Environmental Scanning Through the Internet.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	business environmental scanning, information preference, continuous scanning, resource-bounded scanning, adaptive agent
12	Dhanant Subhadrabandhu, Saswati Sarkar, Farooq Anjum	A framework for misuse detection in ad hoc networks- part II.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
12	Songqiao Han, Shensheng Zhang, Yong Zhang 0033	A Generic Software Partitioning Algorithm for Pervasive Computing.	WASA	2006	DBLP DOI BibTeX RDF	Algorithm, Pervasive computing, Software partitioning
12	Hossein Saiedian, Prabhaharan Kumarakulasingam, Muhammad Anan	Scenario-based requirements analysis techniques for real-time software systems: a comparative evaluation.	Requir. Eng.	2005	DBLP DOI BibTeX RDF	Scenario-based, Real-time, Requirements engineering, Time-automata
12	Rey-Long Liu	An Adaptive Agent Society for Environmental Scanning through the Internet.	PRIMA	2001	DBLP DOI BibTeX RDF
10	Kuo-Hui Yeh, Nai-Wei Lo	Improvement of an EPC Gen2 Compliant RFID Authentication Protocol.	IAS	2009	DBLP DOI BibTeX RDF
10	See-hwan Yoo, Yunxin Liu, Cheol-Ho Hong, Chuck Yoo, Yongguang Zhang	MobiVMM: a virtual machine monitor for mobile phones.	MobiVirt	2008	DBLP DOI BibTeX RDF	mobile device, virtual machine monitor, embedded operating systems
10	Ren-Song Ko, Matt W. Mutka	An Ad Hoc Approach to Achieve Collaborative Computing with Pervasive Devices.	GPC	2007	DBLP DOI BibTeX RDF
10	Ying Liu 0039, Alok N. Choudhary, Jianhong Zhou, Ashfaq A. Khokhar	A Scalable Distributed Stream Mining System for Highway Traffic Data.	PKDD	2006	DBLP DOI BibTeX RDF	real-time, distributed computing, data stream, sensor, traffic
10	Takaaki Umedu, Shigeharu Urata, Akio Nakata, Teruo Higashino	Automatic Decomposition of Java Program for Implementation on Mobile Terminals.	AINA	2005	DBLP DOI BibTeX RDF
10	Zièd Choukair, Safouane Sfar	Run Time Adaptation of UMTS Services to Available Resources.	AINA	2003	DBLP DOI BibTeX RDF	UMTS, DiffServ, Run-time Adaptation, ABS
8	I-Hui Li, I-En Liao, Feng-Nien Wu	A traffic load-aware energy efficient protocol for wireless sensor networks.	Mobility Conference	2008	DBLP DOI BibTeX RDF	scheduling, wireless sensor network, energy-efficient protocol, traffic load
8	Giovani Gracioli, Antônio Augusto Fröhlich	An Operating System Infrastructure for Remote Code Update in Deeply Embedded Systems.	HotSWUp	2008	DBLP DOI BibTeX RDF	remote update, embedded systems, operating systems
8	Hidehiro Nakano, Akihide Utani, Arata Miyauchi, Hisao Yamamoto	Synchronization-based data gathering scheme using chaotic pulse-coupled neural networks in wireless sensor networks.	IJCNN	2008	DBLP DOI BibTeX RDF
8	Frank Reichenbach, Jan Blumenthal, Dirk Timmermann	Comparing the Efficiency of Localization Algorithms with the Power-Error-Product (PEP).	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
8	Hao-Ping Hung, Kun-Ta Chuang, Ming-Syan Chen	Efficient Process of Top-k Range-Sum Queries over Multiple Streams with Minimized Global Error.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Wavelet Synopses, Top-K Queries, Data Stream Management System
8	Sébastien Josse	Secure and advanced unpacking using computer emulation.	J. Comput. Virol.	2007	DBLP DOI BibTeX RDF	Anti-virus testing, Human driven analysis, Fault injection, Forensics, Software protection, Malware analysis
8	Dejene Ejigu, Vasile-Marian Scuturici, Lionel Brunie	An Ontology-Based Approach to Context Modeling and Reasoning in Pervasive Computing.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
8	E. C. Park, Ian F. Blake	Reducing Communication Overhead of Key Distribution Schemes for Wireless Sensor Networks.	ICCCN	2007	DBLP DOI BibTeX RDF
8	Yongxuan Lai, Hong Chen 0001	Energy-Efficient Fault-Tolerant Mechanism for Clustered Wireless Sensor Networks.	ICCCN	2007	DBLP DOI BibTeX RDF
8	Hao-Ping Hung, Ming-Syan Chen	Efficient range-constrained similarity search on wavelet synopses over multiple streams.	CIKM	2006	DBLP DOI BibTeX RDF	wavelet synopses, data stream, similarity search
8	Suogang Li, Jianping Wu, Ke Xu 0002, Ying Liu 0024	Heterogeneous QoS Multicast and Its Improvement on Edge-Based Overlay Networks.	HPCC	2006	DBLP DOI BibTeX RDF
8	Pedro José Marrón, Andreas Jürgen Lachenmann, Daniel Minder, Matthias Gauger, Olga Saukh, Kurt Rothermel	Management and configuration issues for sensor networks.	Int. J. Netw. Manag.	2005	DBLP DOI BibTeX RDF
8	Djamel Djenouri, Nabil Ouali, Ahmed Mahmoudi, Nadjib Badache	Random Feedbacks for Selfish Nodes Detection in Mobile Ad Hoc Networks.	IPOM	2005	DBLP DOI BibTeX RDF
8	Tao Sun, Morihiko Tamai, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Masaaki Mori	MTcast: Robust and Efficient P2P-Based Video Delivery for Heterogeneous Users.	OPODIS	2005	DBLP DOI BibTeX RDF	video multicast, QoS, transcode, service overlay networks
8	Jian-Hua Song, Fan Hong, Yajun Guo	A Distributed Monitoring Mechanism for Mobile Ad Hoc Networks.	ISPAN	2005	DBLP DOI BibTeX RDF
8	Allan Tomlinson, Scarlet Schwiderski-Grosche	Application of Grid Security to Personal Distributed Environments.	OTM Workshops	2004	DBLP DOI BibTeX RDF
8	Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden	Behavior Descriptions of Mobile Agents for Web Services Integration.	ICWS	2004	DBLP DOI BibTeX RDF
8	Tho Manh Nguyen, A Min Tjoa, Guenter Kickinger, Peter Brezany	Towards Service Collaboration Model in Grid-based Zero Latency Data Stream Warehouse (GZLDSWH).	IEEE SCC	2004	DBLP DOI BibTeX RDF	Grids based Zero-Latency DWH, dynamic workflow execution, Data Streams processing
8	Faith Clarke, Han Reichgelt	The importance of explicitly stating educational objectives in computer science curricula.	ACM SIGCSE Bull.	2003	DBLP DOI BibTeX RDF
8	Chung-Min Chen, Rakesh K. Sinha	Analysis and Comparison of Declustering Schemes for Interactive Navigation Queries.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	spatial databases, high performance, parallel databases, Declustering, navigation queries
8	Dong-il Ko, Yanghee Choi	Design of Network Protocols for Distributed Virtual Environments.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Virtual reality, Distributed Virtual Environments, Distributed interactive simulation
8	Bogong Su, Jian Wang 0046, Jinshi Xia	Global microcode compaction under timing constraints.	MICRO	1988	DBLP BibTeX RDF
8	Phillip C.-Y. Sheu	Conjunctive planning problems with constrained goal interactions.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF