Search results for "COSMOS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Marie Kim, Hwang Jae Gak, Cheol Sig Pyo	Practical RFID + sensor convergence toward context-aware X-reality.	ICIS	2009	DBLP DOI BibTeX RDF	x-reality, middleware, RFID, sensor, actuator, USN
16	Carlos Parra 0002, Xavier Blanc 0001, Laurence Duchien	Context awareness for dynamic service-oriented product lines.	SPLC	2009	DBLP BibTeX RDF
16	Zied Abid, Sophie Chabridon, Denis Conan	A Framework for Quality of Context Management.	QuaCon	2009	DBLP DOI BibTeX RDF	context-aware computing, quality of context, component-based middleware
16	Yucong Duan	A dualism based semantics formalization mechanism for model driven engineering.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
16	Yongluan Zhou, Karl Aberer, Ali Salehi, Kian-Lee Tan	Rethinking the design of distributed stream processing systems.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
16	Yung Bok Kim, Chul-Su Kim, Jun Wook Lee	A Middleware Platform Based on Multi-Agents for u-Healthcare Services with Sensor Networks.	KES-AMSTA	2008	DBLP DOI BibTeX RDF
16	Sea Woo Kim, Chin-Wan Chung	Rough Set Based Information Retrieval from Argumentative Data Points in Weblogs.	FBIT	2007	DBLP DOI BibTeX RDF	Rough sets, Information filtering, Information search and retrieval, Decision model
16	Dajin Wang	A Power-Balancing Scheme for Clustered Wireless Sensor Networks.	FGCN (1)	2007	DBLP DOI BibTeX RDF
16	Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama	Building Verifiable Sensing Applications Through Temporal Logic Specification.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF
16	Marios C. Angelides, Harry W. Agius	An MPEG-7 scheme for semantic content modelling and filtering of digital video.	Multim. Syst.	2006	DBLP DOI BibTeX RDF	Semantic content modelling, Multimedia, MPEG-7, Content-based filtering, Digital video
16	Marios C. Angelides, Anastasis A. Sofokleous, Minaz J. Parmar	Classified Ranking of Semantic Content Filtered Output Using Self-organizing Neural Networks.	ICANN (2)	2006	DBLP DOI BibTeX RDF
16	Christian Brecher, Tilman Buchner, Yong Cheng, Matthias Jarke, Dominik Schmitz	A Model Driven Approach to Engineering of Flexible Manufacturing System Control Software.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
16	Keita Fujii, Tatsuya Suda	Semantics-based dynamic service composition.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
16	Elzbieta Kasperska, Elwira Mateja-Losa	Simulation Embedded in Optimization - A Key for the Effective Learning Process in (About) Complex, Dynamical Systems.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
16	Kristoffer Kvam, Daniel Bakkelund, Rodin Lie	Cynical Reengineering.	XP	2004	DBLP DOI BibTeX RDF	Software Metrics, Open Source, Refactoring, Reengineering
16	Harry W. Agius, Marios C. Angelides	Modelling and filtering of MPEG-7-compliant meta-data for digital video.	SAC	2004	DBLP DOI BibTeX RDF	modelling, multimedia, filtering, MPEG-7, meta-data
16	Mitali Singh, Viktor K. Prasanna	A Hierarchical Model for Distributed Collaborative Computation in Wireless Sensor Networks.	IPDPS	2003	DBLP DOI BibTeX RDF
16	Chris Nelson	Use of Metadata Registries for Searching for Statistical Data.	SSDBM	2002	DBLP DOI BibTeX RDF
16	Tetsuro Ogi, Toshio Yamada, Ken Tamagawa, Makoto Kano, Michitaka Hirose	Immersive Telecommunication Using Stereo Video Avatar.	VR	2001	DBLP DOI BibTeX RDF
16	Richard J. Hughes, Colin P. Williams	Quantum Computing: The Final Frontier?	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF
16	Pierre Wodey, Fabrice Baray	Linking Codesign and Verification by Means of E-LOTOS FDT.	EUROMICRO	1999	DBLP DOI BibTeX RDF
16	J. Philip Benkard	An epistemology of APL.	APL	1998	DBLP DOI BibTeX RDF
16	Gilberto Fernandes Marchioro, Jean-Marc Daveau, Ahmed Amine Jerraya	Transformational partitioning for co-design of multiprocessor systems.	ICCAD	1997	DBLP DOI BibTeX RDF	Partitioning, Hardware/Software co-design, System-level synthesis
16	Prabhat Jain, Ganesh Gopalakrishnan	Efficient symbolic simulation-based verification using the parametric form of Boolean expressions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
16	Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan	Towards a Verification Technique for Large Synchronous Circuits.	CAV	1992	DBLP DOI BibTeX RDF
16	Randal E. Bryant	Formal verification of memory circuits by switch-level simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
16	Kyeongsoon Cho, Randal E. Bryant	Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation.	DAC	1989	DBLP DOI BibTeX RDF
16	Jonathan Walpole, Gordon S. Blair, Javad Malik, John R. Nicol	A Unifying Model for Consistent Distributed Software Development Environments.	Software Development Environments (SDE)	1988	DBLP DOI BibTeX RDF
16	Jean Dollimore	The design and use of an object server in a distributed application.	ACM SIGOPS European Workshop	1988	DBLP DOI BibTeX RDF