Search results for "behavior description"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Takeshi Shiro, Masaaki Abe, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai	A Processor Generation Method from Instruction Behavior Description Based on Specification of Pipeline Stages and Functional Units.	ASP-DAC	2007	DBLP DOI BibTeX RDF
2	Stéphane Ducasse, Tudor Gîrba	Using Smalltalk as a Reflective Executable Meta-language.	MoDELS	2006	DBLP DOI BibTeX RDF	meta behavior description, reflective language, Smalltalk
2	Qingping Lin, Weihua Wang, Liang Zhang, Tian Fook Choo	A novel method for supporting collaborative interaction management in Web-based CVE.	VRST	2003	DBLP DOI BibTeX RDF	collaborative behavior description language, collaborative role, collaborative virtual environment, interaction management
2	Andrei Borshchev, Yuri Karpov, Victor Roudakov	Systems modeling, simulation and analysis using COVERS active objects.	ECBS	1997	DBLP DOI BibTeX RDF	COVERS active objects, object-oriented principles, reactive system design, object structure diagrams, object interconnection diagrams, data functions, modeling-simulation-analysis cycle, Windows-based graphical environment, visualization, object-oriented programming, C++, code generation, systems analysis, statecharts, systems modeling, semantic model, modeling language, simulation environment, systems simulation, model execution, data objects, behavior description, timed transition systems
1	Chen Fu, Yang Jia-Hai	P2P Behavior Description with p-Calculus.	APSCC	2010	DBLP DOI BibTeX RDF
1	Zhang Chi	Software components composition compatibility checking based on behavior description.	GrC	2009	DBLP DOI BibTeX RDF
1	Fang-Hsuan Cheng, Cheng-Yuan Chang	Human Behavior Description Model Based on Action Recognition.	IIH-MSP	2009	DBLP DOI BibTeX RDF
1	Stéphane Ducasse, Tudor Gîrba, Adrian Kuhn, Lukas Renggli	Meta-environment and executable meta-language using smalltalk: an experience report.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Meta behavior description, Reflective language, Executable modeling language, Smalltalk
1	Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet, Guillaume Savaton	Instruction set simulator generation using HARMLESS, a new hardware architecture description language.	SimuTools	2009	DBLP DOI BibTeX RDF	hardware architecture description language, instruction set simulation
1	Leonid Kof	Translation of Textual Specifications to Automata by Means of Discourse Context Modeling.	REFSQ	2009	DBLP DOI BibTeX RDF	behavior extraction, natural language processing, requirements analysis, behavior modeling
1	Ji Eun Kim, Rahul Kapoor, Martin Herrmann, Jochen Härdtlein, Franz Grzeschniok, Peter Lutz	Software Behavior Description of Real-Time Embedded Systems in Component Based Software Development.	ISORC	2008	DBLP DOI BibTeX RDF	Signal Flows, Mode Dependent Signal Flows, Component Based Software Development, Real-Time Embedded Systems, Software Behavior
1	Wei Li, Ying Lu, Yi-Chao Zhang, Jian-Guo Wu	A Verifying Method of Controller Synthesis.	CSSE	2008	DBLP DOI BibTeX RDF
1	Hannes Högni Vilhjálmsson	Representing Communicative Function and Behavior in Multimodal Communication.	COST 2102 School (Vietri)	2008	DBLP DOI BibTeX RDF	communicative function, embodied conversational agents, mediated communication, Communicative behavior, multimodal communication
1	Taketoshi Mori, Akinori Fujii, Masamichi Shimosaka, Hiroshi Noguchi, Tomomasa Sato	Typical Behavior Patterns Extraction and Anomaly Detection Algorithm Based on Accumulated Home Sensor Data.	FGCN	2007	DBLP DOI BibTeX RDF
1	Lukasz Wilczynski, Krzysztof Marasek	System for Creating Games in Augmented Environments.	MUE	2007	DBLP DOI BibTeX RDF
1	Alexandra I. Cristea, Angelo Wentzler, Egbert Heuvelman, Paul De Bra	Adapting SME Learning Environments for Adaptivity.	ICALT	2006	DBLP DOI BibTeX RDF
1	David Saint-Voirin, Christophe Lang, Noureddine Zerhouni	Distributed Cooperative Systems Meta-Model for Maintenance Using Petri Nets and Multi-Agent Systems.	DFMA	2005	DBLP DOI BibTeX RDF
1	László Csaba Lorincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth	Data access optimization on grid systems.	WETICE	2005	DBLP DOI BibTeX RDF
1	Chengwan He, Fei He, Keqing He, Jin Liu, Wenjie Tu	RoleOf Relationship and Its Meta Model for Design Pattern Instantiation.	ADMA	2005	DBLP DOI BibTeX RDF
1	Masaharu Imai, Akira Kitajima	Verification Challenges in Configurable Processor Design with ASIP Meister.	CHARME	2005	DBLP DOI BibTeX RDF
1	Caroline Chopinaud, Amal El Fallah-Seghrouchni, Patrick Taillibert	Dynamic Self-control of Autonomous Agents.	PROMAS	2005	DBLP DOI BibTeX RDF
1	Yukiko Hoshino, Tsuyoshi Takagi, Ugo Di Profio, Masahiro Fujita	Behavior Description and Control using Behavior Module for Personal Robot.	ICRA	2004	DBLP DOI BibTeX RDF
1	Haisong Gu, Qiang Ji	Facial Event Classification with Task Oriented Dynamic Bayesian Network.	CVPR	2004	DBLP DOI BibTeX RDF
1	Masakazu Miyamae, Tsutomu Terada, Masahiko Tsukamoto, Shojiro Nishio	Design and Implementation of an Extensible Rule Processing System for Wearable Computing.	MobiQuitous	2004	DBLP DOI BibTeX RDF
1	Ali Y. Duale, M. Ümit Uyar	A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	test generation, VHDL, Conformance testing, FSM, Estelle, EFSM
1	Tsutomu Terada, Masahiko Tsukamoto, Keisuke Hayakawa, Tomoki Yoshihisa, Yasue Kishino, Atsushi Kashitani, Shojiro Nishio	Ubiquitous Chip: A Rule-Based I/O Control Device for Ubiquitous Computing.	Pervasive	2004	DBLP DOI BibTeX RDF
1	Ki-Hwa Lee, Eui-Hyun Jung, Hang-Bong Kang, Yong-Jin Park	A New Agent Framework with Behavior Delegation Using SOAP.	APWeb	2003	DBLP DOI BibTeX RDF
1	Ki-Hwa Lee, Eui-Hyun Jung, Yong-Jin Park	Function Extensible Agent Framework with Behavior Delegation.	ICOIN	2003	DBLP DOI BibTeX RDF
1	Martin Lötzsch, Joscha Bach, Hans-Dieter Burkhard, Matthias Jüngel	Designing Agent Behavior with the Extensible Agent Behavior Specification Language XABSL.	RoboCup	2003	DBLP DOI BibTeX RDF
1	Weihua Wang, Qingping Lin, Jim Mee Ng, Chor Ping Low	SmartCU3D: a collaborative virtual environment system with behavior based interaction management.	VRST	2001	DBLP DOI BibTeX RDF	collaborative virtual environment, behavior, interaction management
1	Weihua Wang, Qingping Lin	Behavior Based Interaction Management Mechanism For An Internet CVE System.	ICME	2001	DBLP DOI BibTeX RDF
1	Peter Deussen	Partial Order Verification of Programmable Logic Controllers.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman	An inheritance-based technique for building simulation proofs incrementally.	ICSE	2000	DBLP DOI BibTeX RDF	interface extension, specialization by inheritance, system modeling/verification, simulation, refinement
1	Norman W. Paton, Oscar Díaz	Active Database Systems.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	relational databases, object-oriented databases, events, active databases
1	Marc Born, Andreas Hoffmann	An Object-Oriented Design Methodology for Distributed Services.	TOOLS	1998	DBLP DOI BibTeX RDF
1	Pankaj Mehra, Catherine H. Schulbach, Jerry C. Yan	A Comparison of Two Model-Based Performance-Prediction Techniques for Message-Passing Parallel Programs.	SIGMETRICS	1994	DBLP DOI BibTeX RDF	BDL
1	David W. Franke	Deriving and Using Descriptions of Purpose.	IEEE Expert	1991	DBLP DOI BibTeX RDF
1	Werner Grass	A branch-and-bound method for optimal transformation of data flow graphs for observing hardware constraints.	EURO-DAC	1990	DBLP DOI BibTeX RDF
1	William E. Riddle	An Approach to Software System Behavior Description.	Comput. Lang.	1979	DBLP DOI BibTeX RDF