Search results for "ASSL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
128	Emil Vassev, Serguei A. Mokhov	An ASSL-generated architecture for autonomic systems.	C3S2E	2009	DBLP DOI BibTeX RDF	ASSL, architecture, code generation, autonomic computing
124	Emil Vassev, Mike Hinchey, Joey Paquet	Towards an ASSL specification model for NASA swarm-based exploration missions.	SAC	2008	DBLP DOI BibTeX RDF	swarm missions, autonomic computing, formal specification language
124	Emil Vassev, Joey Paquet	ASSL - Autonomic System Specification Language.	SEW	2007	DBLP DOI BibTeX RDF
104	Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi	Towards a self-forensics property in the ASSL toolset.	C3S2E	2010	DBLP DOI BibTeX RDF	ASSL, JOOIP, forensic lucid, self-forensics, autonomic computing, GIPSY, forensic computing
100	Mike Hinchey, Emil Vassev	An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL.	ATC	2008	DBLP DOI BibTeX RDF	Autonomic computing, specification language, system modeling
80	Emil Vassev, Mike Hinchey	Rapid prototyping and development of intelligent sensor networks with ASSL and DMF.	C3S2E	2010	DBLP DOI BibTeX RDF	ASSL, DMF, sensor networks, architecture, prototyping
80	Serguei A. Mokhov, Emil Vassev	Autonomic specification of self-protection for distributed MARF with ASSL.	C3S2E	2009	DBLP DOI BibTeX RDF	autonomic system specification language (ASSL), distributed modular audio recognition framework (DMARF), pattern recognition, autonomic computing, self-protection
51	Amirsalar Malekahmadi, Mehdi Alinaghian, Seyed Reza Hejazi, Mohammad Ali Assl Saidipour	Integrated continuous berth allocation and quay crane assignment and scheduling problem with time-dependent physical constraints in container terminals.	Comput. Ind. Eng.	2020	DBLP DOI BibTeX RDF
28	Gao Guo, Jiang-She Zhang 0001, Gai-Ying Zhang	A method to sparsify the solution of support vector regression.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	RVM, Adaptive sparse Supervised learning (ASSL), KLASSO, Support vector regression (SVR), Sparseness
28	Solmaz Jaberi, J. William Atwood, Joey Paquet	ASSL as an Intent Expression Language for Autonomic Intent-Driven Networking.	CNSM	2023	DBLP DOI BibTeX RDF
28	Minhaz Uddin Ahmed, Kim Yeong Hyeon, Phill-Kyu Rhee	EER-ASSL: Combining Rollback Learning and Deep Learning for Rapid Adaptive Object Detection.	KSII Trans. Internet Inf. Syst.	2020	DBLP DOI BibTeX RDF
28	Emil Vassev, Mike Hinchey	The ASSL Approach to Formal Specification of Self-managing Systems.	Models, Mindsets, Meta	2018	DBLP DOI BibTeX RDF
28	Emil Vassev, Mike Hinchey	The ASSL approach to specifying self-managing embedded systems.	Concurr. Comput. Pract. Exp.	2012	DBLP DOI BibTeX RDF
28	Emil Vassev, Serguei A. Mokhov	Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL - A Distributed MARF Case Study.	Trans. Comput. Sci.	2012	DBLP DOI BibTeX RDF
28	Jens Brüning, Lars Hamann, Andreas Wolff	Extending ASSL: Making UML Metamodel-based Workflows executable.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
28	Emil Vassev, Serguei A. Mokhov	Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study	CoRR	2011	DBLP BibTeX RDF
28	Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson	An ASSL Approach to Handling Uncertainty in Self-adaptive Systems.	SEW	2011	DBLP DOI BibTeX RDF
28	Emil Vassev, Mike Hinchey	Developing Model-Checking Mechanisms for ASSL: An Experience Report.	SEFM	2011	DBLP DOI BibTeX RDF
28	Emil Vassev, Mike Hinchey	Developing Self-Managing Embedded Systems with ASSL.	ISORC Workshops	2010	DBLP DOI BibTeX RDF
28	Emil Vassev, Paddy Nixon	Engineering intelligent sensor networks with ASSL and DMF.	CTS	2010	DBLP DOI BibTeX RDF
28	Emil Vassev, Mike Hinchey	Software Verification of Autonomic Systems Developed with ASSL.	Monterey Workshop	2010	DBLP DOI BibTeX RDF
28	Emil Vassev, Mike Hinchey, Paddy Nixon	Prototyping home automation wireless sensor networks with ASSL.	ICAC	2010	DBLP DOI BibTeX RDF
28	Emil Vassev	Code Generation for Autonomic Systems with ASSL.	SERA (selected papers)	2010	DBLP DOI BibTeX RDF
28	Emil Vassev	An Operational Semantics for ASSL.	SERA	2010	DBLP DOI BibTeX RDF
28	Emil Vassev, Serguei A. Mokhov	Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing.	SERA (selected papers)	2010	DBLP DOI BibTeX RDF
28	Mike Hinchey, Emil Vassev	The Art of Developing Autonomic Systems - The ASSL Approach.	TASE	2010	DBLP DOI BibTeX RDF
28	Emil Vassev, Mike Hinchey, Paddy Nixon	Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL.	TASE	2010	DBLP DOI BibTeX RDF
28	Emil Vassev, Mike Hinchey	ASSL: A Software Engineering Approach to Autonomic Computing.	Computer	2009	DBLP DOI BibTeX RDF
28	Emil Vassev, Mike Hinchey	Developing Experimental Models for NASA Missions with ASSL	FMA	2009	DBLP DOI BibTeX RDF
28	Emil Vassev, Mike Hinchey	Complexity Reduction in Developing Autonomic Systems with ASSL.	SEW	2009	DBLP DOI BibTeX RDF
28	Emil Vassev, Mike Hinchey, Aaron J. Quigley	A Self-adaptive Architecture for Autonomic Systems Developed with ASSL.	ICSOFT (1)	2009	DBLP BibTeX RDF
28	Emil Vassev, Mike Hinchey, Aaron J. Quigley	Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL.	ICSOFT (1)	2009	DBLP BibTeX RDF
28	Emil Vassev, Serguei A. Mokhov	Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL.	ICSOFT (1)	2009	DBLP BibTeX RDF
28	Emil Vassev, Mike Hinchey, Aaron J. Quigley	Model Checking for Autonomic Systems Specified with ASSL.	NASA Formal Methods	2009	DBLP BibTeX RDF
28	Emil Vassev, Mike Hinchey	ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions.	SASO Workshops	2008	DBLP DOI BibTeX RDF
28	Emil Vassev, Olga Ormandjieva, Joey Paquet	Assl Specification of Reliability Self-Assessment in the As-Trm.	ICSOFT (SE)	2007	DBLP BibTeX RDF
28	Emil Vassev, Joey Paquet	Towards an Autonomic Element Architecture for ASSL.	SEAMS	2007	DBLP DOI BibTeX RDF