Search results for "ptolemy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
152	Elaine Cheong, Edward A. Lee, Yang Zhao	Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks.	SenSys	2005	DBLP DOI BibTeX RDF	TOSSIM, visualsense, simulation, wireless sensor networks, modeling, tinyOS, nesC, ptolemy II
105	Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis	Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.	ICFEM	2009	DBLP DOI BibTeX RDF
97	Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao	Modeling of sensor nets in Ptolemy II.	IPSN	2004	DBLP DOI BibTeX RDF	VisualSense, simulation, modeling, wireless networks, discrete-event models, Ptolemy II
89	José Luis Pino, Soonhoi Ha, Edward A. Lee, Joseph T. Buck	Software synthesis for DSP using ptolemy.	J. VLSI Signal Process.	1995	DBLP DOI BibTeX RDF
81	Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble	Composing Different Models of Computation in Kepler and Ptolemy II.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	scientific workflow, Model of computation, Kepler, Ptolemy II
73	Alberto González Téllez, Miguel A. Mateo Pla	Multithreaded Translation of Ptolemy II Designs on Multicore Platforms.	CISIS	2008	DBLP DOI BibTeX RDF
57	Hridesh Rajan, Gary T. Leavens	Ptolemy: A Language with Quantified, Typed Events.	ECOOP	2008	DBLP DOI BibTeX RDF
57	Yuhong Xiong, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao, Lizhi C. Zhong	The design and application of structured types in Ptolemy II.	GrC	2005	DBLP DOI BibTeX RDF
57	Edward A. Lee, Yuhong Xiong	A behavioral type system and its application in Ptolemy II.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping
57	Xiaojun Liu 0001, Yuhong Xiong, Edward A. Lee	The Ptolemy II Framework for Visual Languages.	HCC	2001	DBLP DOI BibTeX RDF
57	Bilung Lee, Edward A. Lee	Hierarchical Concurrent Finite State Machines in Ptolemy.	ACSD	1998	DBLP DOI BibTeX RDF	concurrency, finite state machine, heterogeneity, hierarchy
48	Leandro Soares Indrusiak, Romualdo Begale Prudencio, Manfred Glesner	Modeling and Prototyping of Communication Systems Using Java: A Case Study.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
41	Zude Zhou, Cheng Xu 0001, ChunQing Ling, Renfa Li	An optimization design and simulation of Ptolemy-based motor speed control.	ICARCV	2004	DBLP DOI BibTeX RDF
41	Daniel Lázaro Cuadrado, Peter Koch 0001, Anders P. Ravn	AsmL Specification of a Ptolemy II Scheduler.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
40	Patrick Suppes	Statistical concepts in philosophy of science.	Synth.	2007	DBLP DOI BibTeX RDF	Laplace, Gauss, Statistics, Psychology, Physics, Astronomy, Chi-square tests, Ptolemy, Hypotheses
40	Ben Denckla	Many cyclic block diagrams do not need parallel semantics.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	semantics, haskell, Haskell, esterel, block diagrams, ptolemy
40	Koichi Sato, Brian L. Evans, J. K. Aggarwal	Designing an Embedded Video Processing Camera Using a 16-bit Microprocessor for a Surveillance System.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	temporal spatio-velocity transform, embedded system, interaction, tracking, video, recognition, microprocessor, surveillance, DRAM, velocity, Ptolemy
40	Jie Liu 0001, Edward A. Lee	A component-based approach to modeling and simulating mixed-signal and hybrid systems.	ACM Trans. Model. Comput. Simul.	2002	DBLP DOI BibTeX RDF	actors-oriented design, hierarchical heterogeneity, mixed-signal systems, simulation, hybrid systems, Component-based modeling, Ptolemy II
40	T. Boggess, F. Shirley	High-performance scalable computing for real-time applications.	ICCCN	1997	DBLP DOI BibTeX RDF	high-performance scalable computing, interconnect technologies, high-performance computing technologies, embedded military applications, heterogeneous computer nodes, high-throughput system area network, standardized intelligent node-to-network interface, LANai, Sanders, Ptolemy environment, high density interconnect packaging, avionics applications, PacketWay, Internet Engineering Task Force proposed standard, high speed inter-SAN encryption, simulation, modeling, real-time systems, reconfigurable computing, real-time applications, RISC, switched network, digital signal processor, Myrinet
40	Jürgen Teich, Lothar Thiele, Edward A. Lee	Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model.	ISSS	1995	DBLP DOI BibTeX RDF	Ptolemy design system, deterministic discrete event model, heterogeneous real-time systems, mixed asynchronous/synchronous systems, schedule constraints, synchronously clocked systems, timed marked graphs, simulation, modeling, real-time systems, discrete event simulation, timing analysis, finite buffering, self-timed systems
40	Wen-Shyen E. Chen, Chun-Hong Lin	Libra: an object-oriented ATM network simulato.	ICCCN	1995	DBLP DOI BibTeX RDF	object-oriented ATM network simulator, Libra, source traffic modeling, large-scale ATM network, switch architecture design, object-oriented platform, asynchronous transfer mode, network analysis, network performance, network control, Ptolemy
32	Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis	Actors without Directors: A Kahnian View of Heterogeneous Systems.	HSCC	2009	DBLP DOI BibTeX RDF
32	Man-Kit Leung, Thomas Mandl 0002, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly	Scalable Semantic Annotation Using Lattice-Based Ontologies.	MoDELS	2009	DBLP DOI BibTeX RDF
32	Eric K. Pauer, Paul D. Fiore, John M. Smith, Cory S. Myers	Algorithm analysis and mapping environment for adaptive computing systems (poster abstract).	FPGA	2000	DBLP DOI BibTeX RDF
25	Mario Gómez, Facundo Mémoli	The Four Point Condition: An Elementary Tropicalization of Ptolemy's Inequality.	Am. Math. Mon.	2024	DBLP DOI BibTeX RDF
25	Abraham A. Ungar	Ptolemy's Theorem in the Relativistic Model of Analytic Hyperbolic Geometry.	Symmetry	2023	DBLP DOI BibTeX RDF
25	Abraham A. Ungar	The Hyperbolic Ptolemy's Theorem in the Poincaré Ball Model of Analytic Hyperbolic Geometry.	Symmetry	2023	DBLP DOI BibTeX RDF
25	Xiaozhen Zhang, Zhaoming Yang, Hui Kong 0004, Weiqiang Kong	Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.	APSEC	2022	DBLP DOI BibTeX RDF
25	Xiaozhen Zhang, Zhaoming Yang, Hui Kong 0004, Weiqiang Kong	Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.	QRS	2022	DBLP DOI BibTeX RDF
25	Paul T. Kim, Alex J. Noble, Anchi Cheng, Tristan Bepler	Learning to automate cryo-electron microscopy data collection with Ptolemy.	CoRR	2021	DBLP BibTeX RDF
25	David A. Manrique Negrin, Loek Cleophas, Mark van den Brand	Using Ptolemy II as a Framework for Virtual Entity Integration and Orchestration in Digital Twins.	MoDELS (Companion)	2021	DBLP DOI BibTeX RDF
25	Vasilis Daoulas, Nikolaos Tampouratzis, Panagiotis Mousouliotis, Ioannis Papaefstathiou	An Open-source Implementation of LSTM and GRU in the Ptolemy Simulation Framework.	DS-RT	2021	DBLP DOI BibTeX RDF
25	Yiming Gan, Yuxian Qiu, Jingwen Leng, Minyi Guo, Yuhao Zhu 0001	Ptolemy: Architecture Support for Robust Deep Learning.	CoRR	2020	DBLP BibTeX RDF
25	Yiming Gan, Yuxian Qiu, Jingwen Leng, Minyi Guo, Yuhao Zhu 0001	Ptolemy: Architecture Support for Robust Deep Learning.	MICRO	2020	DBLP DOI BibTeX RDF
25	Harald Bucher, Simon Kamm, Jürgen Becker 0001	Cross-Layer Behavioral Modeling and Simulation of E/E-Architectures using PREEvision and Ptolemy II.	Simul. Notes Eur.	2019	DBLP DOI BibTeX RDF
25	Harald Bucher, Jürgen Becker 0001, Simon Kamm	Cross-layer behavioral modeling and simulation of E/E-Architectures using preevision and Ptolemy II.	SummerSim	2019	DBLP BibTeX RDF
25	Janette Cardoso, Pierre Siron	Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
25	Zhenbang Nie, Peng Wang 0090, Peng Zeng 0001, Haibin Yu	Modeling industry 4.0 demonstration production line using Ptolemy II.	IECON	2017	DBLP DOI BibTeX RDF
25	Lukas Bulwahn	Ptolemy's Theorem.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
25	Christopher Brooks, Jay Jay Billings	Introducing Triquetrum, A Possible Future for Kepler and Ptolemy II.	ICCS	2016	DBLP DOI BibTeX RDF
25	Cheng Pang, Wenbin William Dai, Valeriy Vyatkin	Towards IEC 61499 models of computation in Ptolemy II.	IECON	2015	DBLP DOI BibTeX RDF
25	Luís Feliphe Silva Costa, Alisson V. Brito, Tiago P. Nascimento, Thiago Henrique Menezes Bezerra	Integration of Robot Operating System and Ptolemy for Design of Real-Time Multi-robots Environments.	IESS	2015	DBLP DOI BibTeX RDF
25	Shiwei Ran, Jinzhi Lin, Ying Wu 0006, Jianzhong Zhang 0003, Yuwei Xu	Converting Ptolemy II Models to SpaceEx for Applied Verification.	ICA3PP (1)	2014	DBLP DOI BibTeX RDF
25	Stavros Tripakis, Christos Stergiou 0001, Chris Shaver, Edward A. Lee	A modular formal semantics for Ptolemy.	Math. Struct. Comput. Sci.	2013	DBLP DOI BibTeX RDF
25	Thorsten Holm, Peter Jørgensen, Martin Rubey	Ptolemy diagrams and torsion pairs in the cluster categories of Dynkin type D.	Adv. Appl. Math.	2013	DBLP DOI BibTeX RDF
25	Alisson Vasconcelos de Brito, Angelo V. Negreiros	Allowing Large-Scale Systems Evaluation with Ptolemy through Distributed Simulation.	SBESC	2013	DBLP DOI BibTeX RDF
25	Alisson Vasconcelos de Brito, Angelo V. Negreiros, Christoph Roth, Oliver Sander, Jürgen Becker 0001	Development and Evaluation of Distributed Simulation of Embedded Systems Using Ptolemy and HLA.	DS-RT	2013	DBLP DOI BibTeX RDF
25	Patrick Einzinger	An Actor-oriented Approach to ARGESIM Benchmark C05 'Two State Model' using Berkeley Ptolemy II.	Simul. Notes Eur.	2012	DBLP DOI BibTeX RDF
25	Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis	Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
25	Leif Isaksen	Ptolemy's Geography and the Birth of GIS.	DH	2012	DBLP BibTeX RDF
25	Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer 0001, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter	Modularizing crosscutting concerns with ptolemy.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
25	Ying Zhang, Jing Zhang	Modeling and Simulation of Water Fountain Control Software in Ptolemy II.	CSISE (2)	2011	DBLP DOI BibTeX RDF
25	Hridesh Rajan, Gary T. Leavens, Robert Dyer 0001, Mehdi Bagherzadeh 0001	Modularizing crosscutting concerns with Ptolemy.	AOSD (Companion)	2011	DBLP DOI BibTeX RDF
25	Rishikesan Kamaleswaran, Mike Eklund	A method for interactive hypothesis testing for clinical decision support systems using Ptolemy II.	CCECE	2011	DBLP DOI BibTeX RDF
25	Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu 0001, Lizhi C. Zhong	The design and application of structured types in Ptolemy II.	Int. J. Intell. Syst.	2010	DBLP DOI BibTeX RDF
25	Kyungmin Bae, Peter Csaba Ölveczky	Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models	RTRTS	2010	DBLP DOI BibTeX RDF
25	Edward A. Lee, Stavros Tripakis	Modal Models in Ptolemy.	EOOLT	2010	DBLP BibTeX RDF
25	Christopher X. Brooks, Edward A. Lee, Stavros Tripakis	Exploring models of computation with ptolemy II.	CODES+ISSS	2010	DBLP DOI BibTeX RDF
25	Martin Schoeberl, Christopher X. Brooks, Edward A. Lee	Code Generation for Embedded Java with Ptolemy.	SEUS	2010	DBLP DOI BibTeX RDF
25	Sanna Määttä, Leandro Soares Indrusiak, Luciano Ost, Leandro Möller, Manfred Glesner, Fernando Gehm Moraes, Jari Nurmi	A case study of hierarchically heterogeneous application modelling using UML and Ptolemy II.	SoC	2010	DBLP DOI BibTeX RDF
25	Hojoo Lee	Ptolemy Meets Erdős and Mordell Again.	Am. Math. Mon.	2009	DBLP BibTeX RDF
25	Rishvanth Prabakar, Shekhar Rai, Shreya Kumar, Sudheer Sreedhara Krishna, J. P. Raina	Design and simulation of Optical Frequency Domain reflectometer for short distance fault detection in optical fibers and integrated optical devices using ptolemy-II.	ICUMT	2009	DBLP DOI BibTeX RDF
25	Marco Riccardi	Heron's Formula and Ptolemy's Theorem.	Formaliz. Math.	2008	DBLP DOI BibTeX RDF
25	Hassan Tahiri	The Birth of Scientific Controversies The Dynamics of the Arabic Tradition and Its Impact on the Development of Science: Ibn al-Haytham's Challenge of Ptolemy's Almagest.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
25	Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ	Simulation of LET Models in Simulink and Ptolemy.	Monterey Workshop	2008	DBLP DOI BibTeX RDF
25	Christopher Spies, Peter Zipf, Manfred Glesner, Harald Klingbeil	Bandwidth Requirement Determination for a Digitally Controlled Cavity Synchronisation in a Heavy Ion Synchrotron Using Ptolemy II.	IEEE International Workshop on Rapid System Prototyping	2008	DBLP DOI BibTeX RDF
25	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.	TACAS	2008	DBLP DOI BibTeX RDF
25	Daniel Lázaro Cuadrado, Anders P. Ravn, Peter Koch 0001	Automated distributed simulation in PTOLEMY II.	Parallel and Distributed Computing and Networks	2007	DBLP BibTeX RDF
25	Edward A. Lee, Haiyang Zheng	Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II.	ADHS	2006	DBLP DOI BibTeX RDF
25	Brian A. Jackson, James R. Armstrong	Synthesis of SystemC models from SDF Ptolemy descriptions.	SoCC	2004	DBLP DOI BibTeX RDF
25	Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu 0001, Xiaojun Liu 0001, Jozsef Ludvig, Stephen Neuendorffer, Sonia R. Sachs, Yuhong Xiong	Taming heterogeneity - the Ptolemy approach.	Proc. IEEE	2003	DBLP DOI BibTeX RDF
25	Shay Gueron	Two Applications of the Generalized Ptolemy Theorem.	Am. Math. Mon.	2002	DBLP BibTeX RDF
25	Yehuda Pinchover, Simeon Reich, Itai Shafrir	The Ptolemy Constant of a Normed Space: 10812.	Am. Math. Mon.	2001	DBLP BibTeX RDF
25	He Li 0001, Xiaojun Liu 0001, Edward A. Lee	Modeling distributed hybrid systems in Ptolemy II.	ACC	2001	DBLP DOI BibTeX RDF
25	Theodore H. Kaskalis, Konstantinos G. Margaritis	Systolic artificial neural network prototyping using ptolemy.	Int. J. Comput. Math.	1998	DBLP DOI BibTeX RDF
25	Eric K. Pauer, Jonathan B. Prime	An architectural trade capability using the Ptolemy kernel.	ICASSP	1996	DBLP DOI BibTeX RDF
25	Theodore H. Kaskalis, Konstantinos G. Margaritis	Systolic array prototyping using the Ptolemy environment.	ICECS	1996	DBLP DOI BibTeX RDF
25	Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt	Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems.	Int. J. Comput. Simul.	1994	DBLP BibTeX RDF
25	Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt	Multirate signal processing in Ptolemy.	ICASSP	1991	DBLP DOI BibTeX RDF
24	Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch	EWD: A metamodeling driven customizable multi-MoC system modeling framework.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	ForSyDe, MoC, heterogeneous system design, interoperable modeling language, Metamodeling, metamodel, SystemC, functional language, denotational semantics, Ptolemy II
24	Sudhir G. Akojwar, Rajendra M. Patrikar	Classification Techniques with Cooperative Routing for Industrial Wireless Sensor Networks.	SCSS (1)	2007	DBLP DOI BibTeX RDF	Visual sence, Clustering, WSN, Neural Network, Classification, DWT, Ptolemy-II
24	Eric K. Pauer, Paul D. Fiore, John M. Smith	Algorithm Analysis and Mapping Environment for Adaptive Computing Systems: Further Results.	FCCM	1999	DBLP DOI BibTeX RDF	smart generators, FPGA, synthesis, VHDL, configurable computing, ACS, Ptolemy
16	Tuan Minh Pham	Similar triangles and orientation in plane elementary geometry for Coq-based proofs.	SAC	2010	DBLP DOI BibTeX RDF	similar triangles, orientation, formalization, Coq, geometric theorem proving
16	Sungung Kim, Hessam S. Sarjoughian, Vignesh Elamvazhuthi	DEVS-suite: a simulator supporting visual experimentation design and behavior monitoring.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVS-suite, DEVSJAVA, simulation monitoring, experimental design, visual complexity
16	Luciano Ost, Guilherme Montez Guindani, Leandro Soares Indrusiak, Cezar Reinbrecht, Thiago Raupp da Rosa, Fernando Moraes 0001	A high abstraction, high accuracy power estimation model for networks-on-chip.	SBCCI	2009	DBLP DOI BibTeX RDF	high abstraction modeling, networks-on-chip, power modeling
16	Sanna Määttä, Leandro Soares Indrusiak, Luciano Ost, Leandro Möller, Jari Nurmi, Manfred Glesner, Fernando Moraes 0001	Validation of executable application models mapped onto network-on-chip platforms.	SIES	2008	DBLP DOI BibTeX RDF
16	Leandro Soares Indrusiak, Andreas Thuy, Manfred Glesner	Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns.	DATE	2007	DBLP DOI BibTeX RDF
16	Gang Zhou, Man-Kit Leung, Edward A. Lee	A Code Generation Framework for Actor-Oriented Models with Partial Evaluation.	ICESS	2007	DBLP DOI BibTeX RDF
16	Florence Maraninchi, Tayeb Bouhadiba	42: programmable models of computation for a component-based approach to heterogeneous embedded systems.	GPCE	2007	DBLP DOI BibTeX RDF	semantics, models-of-computation, component-based design, heterogeneous embedded systems
16	Edward A. Lee, Haiyang Zheng	Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	simulation, composition, hybrid systems, operational semantics, model-based design, synchronous languages, discrete events
16	Juan Jesús Sánchez Sánchez, David Morales-Jiménez, Gerardo Gómez, Eduardo Martos-Naya, Unai Fernández-Plazaola	Wm-sim: a platform for design and simulation of wireless mobile systems.	PM2HW2N	2007	DBLP DOI BibTeX RDF	simulator, performance, framework, wireless, platform, LTE
16	Sachoun Park, Gihwon Kwon	Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model.	ICCSA (5)	2006	DBLP DOI BibTeX RDF	Model checking, Dependency analysis, Model reduction, State explosion problem
16	Zhigang Gao, Zhaohui Wu 0001, Ruizhi Ye, Long Yue	A Model-Based Development Method for SmartOSEK OS.	CIT	2005	DBLP DOI BibTeX RDF
16	Sachoun Park, Gihwon Kwon, Soonhoi Ha	Formalization of fFSM Model and Its Verification.	ICESS	2005	DBLP DOI BibTeX RDF	Step semantics, Model checking, Formal verification, Finite state machine
16	Diego Fernando Jimenez Orostegui, Leandro Soares Indrusiak, Manfred Glesner	Proxy-Based Integration of Reconfigurable Hardware Within Simulation Environments: Improving E-Learning Experience in Microelectronics.	MSE	2005	DBLP DOI BibTeX RDF
16	Hyunok Oh, Soonhoi Ha	Fractional Rate Dataflow Model for Efficient Code Synthesis.	J. VLSI Signal Process.	2004	DBLP DOI BibTeX RDF	synchronous dataflow (SDF), multimedia, memory optimization, code synthesis
16	Thomas Martin 0001, Mark T. Jones, Joshua Nathaniel Edmison, Tanwir Sheikh, Zahi Nakad	Modeling and simulating electronic textile applications.	LCTES	2004	DBLP DOI BibTeX RDF	smart fabrics, context awareness, wearable computing, electronic textiles
16	Edward A. Lee, Stephen Neuendorffer	Classes and subclasses in actor-oriented design.	MEMOCODE	2004	DBLP DOI BibTeX RDF
16	André DeHon, Brad L. Hutchings, Daryl Rudusky, James Hwang, Nikhil, Salil Raje, Adrian Stoica	What is the right model for programming and using modern FPGAs?	FPGA	2004	DBLP DOI BibTeX RDF
16	Barry Norton, Matt Fairtlough	Reactive Types for Dataflow-Oriented Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF