Search results for "temporal requirements"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Gergely Pintér, István Majzik	Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements.	HASE	2005	DBLP DOI BibTeX RDF
2	Joanna Strug, Stanislaw Deniziak, Krzysztof Sapiecha	Validation of Reactive Embedded Systems against Temporal Requirements.	ECBS	2004	DBLP DOI BibTeX RDF
2	Kristian Sandström, Christer Norström	Managing Complex Temporal Requirements in Real-Time Control Systems. (PDF / PS)	ECBS	2002	DBLP DOI BibTeX RDF	assigning priorities, assigning offsets, relative timing constraints, scheduling, Real-time systems, control systems
2	Sudha Ram, Richard T. Snodgrass, Vijay Khatri, Yousub Hwang	DISTIL: A Design Support Environment for Conceptual Modeling of Spatio-temporal Requirements.	ER	2001	DBLP DOI BibTeX RDF
2	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla	An example of performance evaluation by using the stochastic process algebra: ROSA.	RTCSA	2000	DBLP DOI BibTeX RDF	ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements
2	Minsoo Ryu, Seongsoo Hong, Manas Saksena	Streamlining real-time controller design: From performance specifications to end-to-end timing constraints. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF	real-time controller design, performance specifications, end-to-end timing constraints, control theoretic approach, schedulability constraint, control output responses, steady state error maximum overshoot, rise time, loop processing periods, input-to-output latency, heuristic optimization algorithm, embedded real-time controller, period calibration method, real-time systems, performance requirements, control performance, real-time control system, temporal requirements, settling time
2	T. K. Sateesh	Making the requirements of process controlled systems explicit.	HICSS	1995	DBLP DOI BibTeX RDF	dedicated applications, user centred activity, TRL, formal specification, specification languages, requirements modelling, process controlled systems, temporal requirements
1	João Sacramento, Francisco Burnay, Andreas Wichert	Regarding the temporal requirements of a hierarchical Willshaw network.	Neural Networks	2012	DBLP DOI BibTeX RDF
1	Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski	Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results).	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Wenbin Li	Toward consistency checking of natural language temporal requirements.	ASE	2011	DBLP DOI BibTeX RDF
1	Liliana Pasquale, Paola Spoletini	Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results.	RESS	2011	DBLP DOI BibTeX RDF
1	Ammar Mohammed, Ulrich Furbach	Extending CTL to Specify Quantitative Temporal Requirements.	MSVVEIS	2010	DBLP BibTeX RDF
1	Mohamed Ghazel, Ahmed Mekki	Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems.	Software Engineering Research and Practice	2010	DBLP BibTeX RDF
1	Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni	Patterns for Temporal Requirements Engineering - A Level Crossing Case Study.	ICINCO	2010	DBLP BibTeX RDF
1	Allen P. Nikora, Galen Balcom	Automated Identification of LTL Patterns in Natural Language Requirements.	ISSRE	2009	DBLP DOI BibTeX RDF	machine learning, natural language processing, requirements analysis, temporal requirements
1	Lounell B. Gueta, Ryosuke Chiba, Tamio Arai, Tsuyoshi Ueyama, Jun Ota	Compact design of work cell with robot arm and positioning table under a task completion time constraint.	IROS	2009	DBLP DOI BibTeX RDF
1	Yu-Min Kuo, Yue-Lung Chang, Shih-Chieh Chang	Efficient Boolean Characteristic Function for Timed Automatic Test Pattern Generation.	IEEE Trans. on CAD of Integrated Circuits and Systems	2009	DBLP DOI BibTeX RDF
1	Ala' Qadi, Steve Goddard, Jiangyang Huang, Shane Farritor	Modelling computational requirements of mobile robotic systems using zones and processing windows.	Real-Time Systems	2009	DBLP DOI BibTeX RDF	Mobile robotic systems, Applied real-time scheduling theory, Zone processing window, Robotic software architecture, Real-time systems, Zone
1	Liang Chen, Jason Crampton	On spatio-temporal constraints and inheritance in role-based access control.	ASIACCS	2008	DBLP DOI BibTeX RDF	ERBAC, spatio-temporal domain, RBAC
1	Bing Du, Chun Ruan	Robust Feedback Control Scheduling in Distributed Embedded Real-Time Systems.	EUC	2008	DBLP DOI BibTeX RDF
1	Wei Dong, Chun Chen, Xue Liu, Kougen Zheng, Rui Chu, Jiajun Bu	FIT: A Flexible, LIght-Weight, and Real-Time Scheduling System for Wireless Sensor Platforms.	DCOSS	2008	DBLP DOI BibTeX RDF
1	Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz	Formal Verification for Components and Connectors.	FMCO	2008	DBLP DOI BibTeX RDF
1	Miguel Masmano, Ismael Ripoll, Patricia Balbastre, Alfons Crespo	A constant-time dynamic storage allocator for real-time systems.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Real-time allocators, Allocation algorithms evaluation, Dynamic storage allocation
1	Rubem Pereira, Ella Pereira	Real Time Scheduling for Audio and Video Streams.	AINA Workshops	2007	DBLP DOI BibTeX RDF
1	Ala' Qadi, Steve Goddard, Jiangyang Huang, Shane Farritor	Dynamic Speed and Sensor Rate Adjustment for Mobile Robotic Systems.	ECRTS	2007	DBLP DOI BibTeX RDF
1	Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Gregorio Díaz, Elena Nieto	Does ROSA provide a good view of the Memorizing Process?	IEEE ICCI	2007	DBLP DOI BibTeX RDF
1	Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur	Temporal Verification in Secure Group Communication System Design.	SECURWARE	2007	DBLP DOI BibTeX RDF
1	Mercedes G. Merayo, Manuel Núñez	Testing conformance on Stochastic Stream X-Machines.	SEFM	2007	DBLP DOI BibTeX RDF
1	Dominique Cansell, Dominique Méry, Joris Rehm	Time Constraint Patterns for Event B Development.	B	2007	DBLP DOI BibTeX RDF	distributed systems, refinement, pattern, event B
1	Yu-Min Kuo, Yue-Lung Chang, Shih-Chieh Chang	Efficient Boolean characteristic function for fast timed ATPG.	ICCAD	2006	DBLP DOI BibTeX RDF
1	Carlos Eduardo da Silva, Adilson B. Lopes, Glêdson Elias da Silveira, Guido Lemos, Maurício F. Magalhães	A Component Interconnection Model for Interactive Digital Television Systems.	AINA	2006	DBLP DOI BibTeX RDF
1	María Dolores Rodríguez-Moreno, Angelo Oddi, Daniel Borrajo, Amedeo Cesta	IPSS: A Hybrid Approach to Planning and Scheduling Integration.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	scheduling, Planning, constraint satisfaction problem, temporal reasoning
1	Paul Morris	A Structural Characterization of Temporal Dynamic Controllability.	CP	2006	DBLP DOI BibTeX RDF
1	Rajeev Alur, Mikhail Bernadsky	Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	William N. Robinson	Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring.	HICSS	2005	DBLP DOI BibTeX RDF
1	David Valencia, Antonio J. Plaza, Pablo Martínez Cobo, Javier Plaza	On the Use of Cluster Computing Architectures for Implementation of Hyperspectral Image Analysis Algorithms.	ISCC	2005	DBLP DOI BibTeX RDF
1	Allen P. Nikora	Classifying Requirements: Towards a More Rigorous Analysis of Natural-Language Specifications.	ISSRE	2005	DBLP DOI BibTeX RDF
1	David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff	Verification of a Signature Architecture with HOL-Z.	FM	2005	DBLP DOI BibTeX RDF
1	Leandro Buss Becker, Marco A. Wehrmeister, Carlos Eduardo Pereira	Power and performance tuning in the synthesis of real-time scheduling algorithms for embedded applications.	SBCCI	2004	DBLP DOI BibTeX RDF	performance, power consumption, scheduling algorithms
1	Wan-Jui Lee, Shie-Jue Lee	Fuzzy Calendar Algebra and Its Applications to Data Mining.	TIME	2004	DBLP DOI BibTeX RDF
1	Wan-Jui Lee, Shie-Jue Lee	Discovery of fuzzy temporal association rules.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2004	DBLP DOI BibTeX RDF
1	Ravi Shah, Yann-Hang Lee, Daeyoung Kim	Sharing I/O in Strongly Partitioned Real-Time Systems.	ICESS	2004	DBLP DOI BibTeX RDF
1	Anis Koubaa, Yeqiong Song, Jean-Pierre Thomesse	Integrating (m, k)-Firm Real-Time Guarantees into the Internet QoS Model.	NETWORKING	2004	DBLP DOI BibTeX RDF
1	Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer	Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Multimedia, Time, Meta modeling, Formal semantics, Graph transformation, Sequence diagram, UML extensions
1	Francisco Araque	Real-time Data Warehousing with Temporal Requirements.	CAiSE Workshops	2003	DBLP BibTeX RDF
1	François Siewe, Antonio Cau, Hussein Zedan	A compositional framework for access control policies enforcement.	FMSE	2003	DBLP DOI BibTeX RDF	access control, authorization, delegation, policy composition
1	Jörg Kaiser, Cristiano Brudna, Carlos Mitidieri	A Real-Time Event Channel Model for the CAN-Bus.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Yuan Wei, Sang Hyuk Son, John A. Stankovic, Kyoung-Don Kang	QoS Management in Replicated Real Time Databases.	RTSS	2003	DBLP DOI BibTeX RDF
1	Peter P. Puschner	Algorithms for Dependable Hard Real-Time Systems.	WORDS	2003	DBLP DOI BibTeX RDF
1	Houcine Hassan, José E. Simó, Alfons Crespo	Enhancing the Flexibility and the Quality of Service of Autonomous Mobile Robotic Applications.	ECRTS	2002	DBLP DOI BibTeX RDF
1	Edward Grabczewski, John Cosmas, Peter Van Santen, Damian Green, Take Itagaki, Fred Weimer	3D MURALE: multimedia database system architecture.	Virtual Reality, Archeology, and Cultural Heritage	2001	DBLP DOI BibTeX RDF	virtual Reality, multimedia Databases, photogrammetry, archaeology
1	Pau Martí, Josep M. Fuertes, Krithi Ramamritham, Gerhard Fohler	Jitter Compensation for Real-Time Control Systems. (PDF / PS)	IEEE Real-Time Systems Symposium	2001	DBLP DOI BibTeX RDF
1	Stephen Paynter	Real-Time Logic Revisited.	FME	2001	DBLP DOI BibTeX RDF
1	Miguel de Miguel, Thomas Lambolais, Mehdi Hannouz, Stéphane Betgé-Brezetz, Sophie Piekarec	UML extensions for the specification and evaluation of latency constraints in architectural models.	Workshop on Software and Performance	2000	DBLP DOI BibTeX RDF	UML extension techniques, performance constraints evaluation, real-time object-oriented systems, UML, temporal requirements
1	Athanassios Boulis, Mani B. Srivastava	System design of active basestations based on dynamically reconfigurable hardware.	DAC	2000	DBLP DOI BibTeX RDF
1	Youngsoo Shin, Daehong Kim, Kiyoung Choi	Schedulability-driven performance analysis of multiple mode embedded real-time systems.	DAC	2000	DBLP DOI BibTeX RDF
1	Thomas Ringler	Static Worst-Case Execution Time Analysis of Synchronous Programs.	Ada-Europe	2000	DBLP DOI BibTeX RDF
1	Joachim Wegener, Matthias Grochtmann	Evolutionärer Test von Realzeitsystemen.	Inform., Forsch. Entwickl.	2000	DBLP BibTeX RDF	Realzeitsystem, Zeitverhalten, Evolutionärer Test, Evolutionäre Algorithmen, Test
1	Carla Gonçalves da Silva, César A. C. Teixeira, Célio Estevan Morón	Continuous Media Objects Scheduling Based on Temporal Requirements and Quality of Service.	IMSA	1999	DBLP BibTeX RDF
1	Mallikarjun Shankar, Miguel De Miguel, Jane W.-S. Liu	An End-to-End QoS Management Architecture.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
1	Luciano Paschoal Gaspary, Maria Janilce B. Almeida	MUSE - An Interactive Networked Multimedia Applications Specification Environment with E-LOTOS Translator.	CAiSE	1998	DBLP DOI BibTeX RDF
1	Catherine Meadows, Paul F. Syverson	A Formal Specification of Requirements for Payment Transactions in the SET Protocol.	Financial Cryptography	1998	DBLP DOI BibTeX RDF
1	Hanêne Ben-Abdallah, Insup Lee, Young-Si Kim	Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. (PDF / PS)	RE	1997	DBLP DOI BibTeX RDF	Real-time systems, formal specification, graphical languages, resource requirements