|
 CITED BY 937
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J. M. E. Hyland , C.-H. L. Ong, Pi-calculus, dialogue games and full abstraction PCF, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.96-107, June 26-28, 1995, La Jolla, California, United States
|
|
|
|
|
|
P. H. Welch, An OCCAM approach to transputer engineering, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.138-147, January 19-20, 1988, Pasadena, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
M. Bearne , S. Jones , J. Sapsford-Francis, Towards usability guidelines for multimedia systems, Proceedings of the second ACM international conference on Multimedia, p.105-110, October 15-20, 1994, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S. M. Yang , K. M. Kavi , A. Agarwalla , M. Reddy , S. Anam, SUVS: a distributed real-time system testbed for fault-tolerant computing, Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, p.782-791, March 1992, Kansas City, Missouri, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Takashi Kambe , Akihisa Yamada , Koichi Nishida , Kazuhisa Okada , Mitsuhisa Ohnishi , Andrew Kay , Paul Boca , Vince Zammit , Toshio Nomura, A C-based synthesis system, Bach, and its application (invited talk), Proceedings of the 2001 conference on Asia South Pacific design automation, p.151-155, January 2001, Yokohama, Japan
|
|
|
|
|
|
S. Patel , R. A. Orr , M. T. Norris , D. W. Bustard, Tools to support formal methods, Proceedings of the 11th international conference on Software engineering, p.123-132, May 1989, Pittsburgh, Pennsylvania, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Carol S. Russell , Adel S. Elmaghraby , James H. Graham, An investigation of a standard simulation-knowledge interface, Proceedings of the 24th conference on Winter simulation, p.807-815, December 13-16, 1992, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M. Sgroi , M. Sheets , A. Mihal , K. Keutzer , S. Malik , J. Rabaey , A. Sangiovanni-Vencentelli, Addressing the system-on-a-chip interconnect woes through communication-based design, Proceedings of the 38th conference on Design automation, p.667-672, June 2001, Las Vegas, Nevada, United States
|
|
|
|
|
|
Loganath Ramachandran , Daniel D. Gajski , Sanjiv Narayan , Frank Vahid , Peter Fung, 100-hour design cycle: a test case, Proceedings of the conference on European design automation, p.144-149, September 19-23, 1994, Grenoble, France
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A. Allara , W. Fornaciari , F. Salice , D. Sciuto, A model for system-level timed analysis and profiling, Proceedings of the conference on Design, automation and test in Europe, p.204-210, February 23-26, 1998, Le Palais des Congrés de Paris, France
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G. Castelli , F. De Cindio , G. De Michelis , C. Simone, An overview of the GCP programming language, Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, p.245-253, May 1985, Danvers, Massachusetts, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A. J.G. Hey, Practical parallel processing with transputers, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.115-121, January 19-20, 1988, Pasadena, California, United States
|
|
|
|
|
|
W. Putzke-Röming , M. Radetzki , W. Nebel, A flexible message passing mechanism for objective VHDL, Proceedings of the conference on Design, automation and test in Europe, p.242-249, February 23-26, 1998, Le Palais des Congrés de Paris, France
|
|
|
|
|
|
|
|
|
Nancy Lynch , Isaac Saias , Roberto Segala, Proving time bounds for randomized distributed algorithms, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.314-323, August 14-17, 1994, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
Seapahn Meguerdichian , Sasa Slijepcevic , Vahag Karayan , Miodrag Potkonjak, Localized algorithms in wireless ad-hoc networks: location discovery and sensor exposure, Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing, October 04-05, 2001, Long Beach, CA, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B. Bloom , S. Istrail , A. R. Meyer, Bisimulation can't be traced, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.229-239, January 10-13, 1988, San Diego, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Yehuda Afek , Hagit Attiya , Alan Fekete , Michael Fischer , Nancy Lynch , Yishay Mansour , Dai-Wei Wang , Lenore Zuck, Reliable communication over unreliable channels, Journal of the ACM (JACM), v.41 n.6, p.1267-1297, Nov. 1994
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Steven Vercauteren , Bill Lin , Hugo De Man, A strategy for real-time kernel support in application-specific HW/SW embedded architectures, Proceedings of the 33rd annual conference on Design automation, p.678-683, June 03-07, 1996, Las Vegas, Nevada, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Gert Goossens , Ivo Bolsens , Bill Lin , Francky Catthoor, Design of heterogeneous ICs for mobile and personal communication systems, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.524-531, November 06-10, 1994, San Jose, California, United States
|
|
|
|
|
|
|
|
|
Jean-Claude Fernandez , Hubert Garavel , Laurent Mounier , Anne Rasse , Carlos Rodriguez , Joseph Sifakis, A toolbox for the verification of LOTOS programs, Proceedings of the 14th international conference on Software engineering, p.246-259, May 11-15, 1992, Melbourne, Australia
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jason E. Robbins , Nenad Medvidovic , David F. Redmiles , David S. Rosenblum, Integrating architecture description languages with a standard design method, Proceedings of the 20th international conference on Software engineering, p.209-218, April 19-25, 1998, Kyoto, Japan
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Gaetano Borriello , Luciano Lavagno , Ross B. Ortega, Interface synthesis: a vertical slice from digital logic to software components, Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design, p.693-695, November 08-12, 1998, San Jose, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cortés E. Pérez , Alonso G. Román , Barradas H. Ruíz, Using CSP to derive a sequentially consistent DSM system, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing, p.280, May 04-06, 1999, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nils Klarlund , Mogens Nielsen , Kim Sunesen, Automated logical verification based on trace abstractions, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.101-110, May 23-26, 1996, Philadelphia, Pennsylvania, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
David S. Keyes , Laura K. Dillon , Moon Jung Chung, Analysis of a scheduler for a CAD framework, Proceedings of the 21st international conference on Software engineering, p.152-161, May 16-22, 1999, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Shail Aditya , Joseph E. Stoy , Arvind, Semantics of barriers in a non-strict, implicitly-parallel language, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.204-215, June 26-28, 1995, La Jolla, California, United States
|
|
|
|
|
|
|
|
|
Gregory R. Andrews , Michael Coffin , Irving Elshoff , Kelvin Nilson , Gregg Townsend , Ronald A. Olsson , Titus Purdin, An overview of the SR language and implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.51-86, Jan. 1988
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Robert T. Monroe , Andrew Kompanek , Ralph Melton , David Garlan, Architectural Styles, Design Patterns, and Objects, IEEE Software, v.14 n.1, p.43-52, January 1997
|
|
|
M. Ward , N. C. Audsley, Hardware compilation of sequential ada, Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems, November 16-17, 2001, Atlanta, Georgia, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nan C. Schaller , Michael Berman , Judith Bishop , Paddy Nixon , Evelyn Rozanski , Peter Welch, Using Java in computer science education (panel), The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings, p.140-143, June 01-05, 1997, Uppsala, Sweden
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
van Vicious Nguyen , Rob Strom, Process semantics: universal axioms compositional rules, and applications, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.232-247, August 15-17, 1988, Toronto, Ontario, Canada
|
|
|
Steven Vercauteren , Diederik Verkest , Gjalt de Jong , Bill Lin, Derivation of formal representations from process-based specification and implementation models, Proceedings of the 10th international symposium on System synthesis, p.16-23, September 17-19, 1997, Antwerp, Belgium
|
|
|
Steven Vercauteren , Bill Lin , Hugo De Man, Constructing application-specific heterogeneous embedded architectures from custom HW/SW applications, Proceedings of the 33rd annual conference on Design automation, p.521-526, June 03-07, 1996, Las Vegas, Nevada, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Eric M. Dashofy , Nenad Medvidovic , Richard N. Taylor, Using off-the-shelf middleware to implement connectors in distributed software architectures, Proceedings of the 21st international conference on Software engineering, p.3-12, May 16-22, 1999, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
Rajeev Alur , Calin Belta , Vijay Kumar , Max Mintz , George J. Pappas , Harvey Rubin , Jonathan Schug, Biocomputation: modeling and analyzing biomolecular networks, Computing in Science and Engineering, v.4 n.1, p.20-31, January/February 2002
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sameh A. Fakhouri , William F. Jerome , Vijay K. Naik , Ajay Raina , Pradeep Varma, Active middleware services in a decision support system for managing highly available distributed resources, IFIP/ACM International Conference on Distributed systems platforms, p.349-371, April 03-07, 2000, New York, New York, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M. Lades , J. C. Vorbruggen , J. Buhmann , J. Lange , C. von der Malsburg , R. P. Wurtz , W. Konen, Distortion Invariant Object Recognition in the Dynamic Link Architecture, IEEE Transactions on Computers, v.42 n.3, p.300-311, March 1993
|
|
|
|
|
|
|
|
|
Ayaz Isazadeh , Glenn H. MacEwen , Andrew Malton, Behavioral patterns for software requirement engineering, Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research, p.33, November 07-09, 1995, Toronto, Ontario, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Kees van Berkel , Joep Kessels , Marly Roncken , Ronald Saeijs , Frits Schalij, The VLSI-programming language tangram and its translation into handshake circuits, Proceedings of the conference on European design automation, February 25-28, 1991, Amsterdam, The Netherlands
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J. S. Dong , C. H. Lee , H. B. Lee , Y. F. Li , H. Wang, A combined approach to checking web ontologies, Proceedings of the 13th international conference on World Wide Web, May 17-20, 2004, New York, NY, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A. Fekete , N. Lynch , M. Merrit , W. Weihl, Nested transactions and read-write locking, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.97-111, March 23-25, 1987, San Diego, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
Alon Kleinman , Yael Moscowitz , Amir Pnueli , Ehud Sharpio, Communication with directed logic variables, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.221-232, January 21-23, 1991, Orlando, Florida, United States
|
|
|
S.-Y. Tan , S. B. Furber , W.-F. Yen, The design of an asynchronous VHDL synthesizer, Proceedings of the conference on Design, automation and test in Europe, p.44-51, February 23-26, 1998, Le Palais des Congrés de Paris, France
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C. Jesshope, Reconfigurable transputer systems, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.105-114, January 19-20, 1988, Pasadena, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jeffrey J. P. Tsai , Alan Liu , Eric Juan , Avinash Sahay, Knowledge-Based Software Architectures: Acquisition, Specification, and Verification, IEEE Transactions on Knowledge and Data Engineering, v.11 n.1, p.187-201, January 1999
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A. Pyttel , A. Sedlmeier , C. Veith, PSCP: a scalable parallel ASIP architecture for reactive systems, Proceedings of the conference on Design, automation and test in Europe, p.370-376, February 23-26, 1998, Le Palais des Congrés de Paris, France
|
|
|
|
|
|
|
|
|
|
|
|
Bruno Mermet , Dominique Méry, Service specifications: to B, or not to B, Proceedings of the second workshop on Formal methods in software practice, p.62-69, March 04-05, 1998, Clearwater Beach, Florida, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Julian M. Bass , Adrian R. Browne , Mohamed S. Hajji , Derek G. Marriott , Peter R. Croll , Peter J. Fleming, Automating the Development of Distributed Control Software, IEEE Parallel & Distributed Technology: Systems & Technology, v.2 n.4, p.9-19, December 1994
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S. Chaki , E. Clarke , A. Groce , J. Ouaknine , O. Strichman , K. Yorav, Efficient Verification of Sequential and Concurrent C Programs, Formal Methods in System Design, v.25 n.2-3, p.129-166, September-November 2004
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Steve Carr , Ping Chen , Timothy R. Jozwowski , Jean Mayo , Ching-Kuang Shene, Channels, visualization, and topology editor, ACM SIGCSE Bulletin, v.34 n.3, September 2002
|
|
|
|
|
|
Dickson K. W. Chiu , S. C. Cheung , Sven Till , Kamalakar Karlapalem , Qing Li , Eleanna Kafeza, Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment, Information Technology and Management, v.5 n.3-4, p.221-250, July-October 2004
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tomás Robles , Gabriel Huecas , Juan Quemada , Alberto Verdejo , Luis F. Llana-Díaz, Process calculi: E-LOTOS, Formal methods for distributed processing: a survey of object-oriented approaches, Cambridge University Press, New York, NY, 2001
|
|
|
|
|
|
|
|
|
David Garlan , Robert Monroe , David Wile, Acme: an architecture description interchange language, Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research, p.7, November 10-13, 1997, Toronto, Ontario, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A. Letichevsky , J. Kapitonova , A. Letichevsky, Jr. , V. Volkov , S. Baranov , T. Weigert, Basic protocols, message sequence charts, and the verification of requirements specifications, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.49 n.5, p.661-675, 5 December 2005
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Marco Fischer , Stefan Förster , André Windisch , Dieter Monjau , Burkhard Balser, A new time extension to φ-calculus based on time consuming transition semantics, Languages for system specification: Selected contributions on UML, systemC, system Verilog, mixed-signal systems, and property specification from FDL'03, Kluwer Academic Publishers, Norwell, MA, 2004
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R. Hofmann , R. Klar , B. Mohr , A. Quick , M. Siegle, Distributed Performance Monitoring: Methods, Tools, and Applications, IEEE Transactions on Parallel and Distributed Systems, v.5 n.6, p.585-598, June 1994
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cong Liu , Alex Kondratyev , Yosinori Watanabe , Alberto Sangiovanni-Vincentelli, A structural approach to quasi-static schedulability analysis of communicating concurrent programs, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Holger Hermanns , David N. Jansen , Yaroslav S. Usenko, From StoCharts to MoDeST: a comparative reliability analysis of train radio communications, Proceedings of the 5th international workshop on Software and performance, p.13-23, July 12-14, 2005, Palma, Illes Balears, Spain
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M. G. Hinchey , C. A. Rouff , J. L. Rash , W. F. Truszkowski, Requirements of an integrated formal method for intelligent swarms, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, p.125-133, September 05-06, 2005, Lisbon, Portugal
|
|
|
|
|
|
|
|
|
Juan Guillen-Scholten , Farhad Arbab , Frank de Boer , Marcello Bonsangue, MoCha-pi, an exogenous coordination calculus based on mobile channels, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Long Li , Bo Huang , Jinquan Dai , Luddy Harrison, Automatic multithreading and multiprocessing of C programs for IXP, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, June 15-17, 2005, Chicago, IL, USA
|
|
|
Chris Barrett , Harry B. Hunt, III , Madhav V. Marathe , S. S. Ravi , Daniel J. Rosenkrantz , Richard E. Stearns, Reachability problems for sequential dynamical systems with threshold functions, Theoretical Computer Science, v.295 n.1-3, p.41-64, 24 February 2003
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fei Cao , Barrett R. Bryant , Wei Zhao , Carol C. Burt , Rajeev R. Raje , Mikhail Auguston , Andrew M. Olson, A translation approach to component specification, Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Martha Mercaldi , Steven Swanson , Andrew Petersen , Andrew Putnam , Andrew Schwerin , Mark Oskin , Susan J. Eggers, Modeling instruction placement on a spatial architecture, Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures, July 30-August 02, 2006, Cambridge, Massachusetts, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Vijayakrishnan Pasupathinathan , Josef Pieprzyk , Huaxiong Wang , Joo Yeon Cho, Formal analysis of card-based payment systems in mobile devices, Proceedings of the 2006 Australasian workshops on Grid computing and e-research, p.213-220, January 16-19, 2006, Hobart, Tasmania, Australia
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Christopher L. Barrett , Harry B. Hunt, III , Madhav V. Marathe , S. S. Ravi , Daniel J. Rosenkrantz , Richard E. Stearns, Complexity of reachability problems for finite discrete dynamical systems, Journal of Computer and System Sciences, v.72 n.8, p.1317-1345, December, 2006
|
|
|
Yuxin Deng , Rob van Glabbeek , Matthew Hennessy , Carroll Morgan , Chenyi Zhang, Remarks on Testing Probabilistic Processes, Electronic Notes in Theoretical Computer Science (ENTCS), 172, p.359-397, April, 2007
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Blake G. Fitch , Aleksandr Rayshubskiy , Maria Eleftheriou , T. J. Christopher Ward , Mark Giampapa , Michael C. Pitman , Robert S. Germain, Molecular dynamics---Blue matter: approaching the limits of concurrency for classical molecular dynamics, Proceedings of the 2006 ACM/IEEE conference on Supercomputing, November 11-17, 2006, Tampa, Florida
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
David Pym , Chris Tofts, Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic, Electronic Notes in Theoretical Computer Science (ENTCS), 172, p.545-587, April, 2007
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nevin Heintze , J. D. Tygar , Jeannette Wing , H. Chi Wong, Model checking electronic commerce protocols, Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce, p.10-10, November 18-21, 1996, Oakland, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mainak Sen , Ivan Corretjer , Fiorella Haim , Sankalita Saha , Jason Schlessman , Tiehan Lv , Shuvra S. Bhattacharyya , Wayne Wolf, Dataflow-based mapping of computer vision algorithms onto FPGAs, EURASIP Journal on Embedded Systems, v.2007 n.1, p.29-29, January 2007
|
|
|
Tim Berners-Lee , Wendy Hall , James A. Hendler , Kieron O'Hara , Nigel Shadbolt , Daniel J. Weitzner, A framework for web science, Foundations and Trends in Web Science, v.1 n.1, p.1-130, January 2006
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Zongyan Qiu , Xiangpeng Zhao , Chao Cai , Hongli Yang, Towards the theoretical foundation of choreography, Proceedings of the 16th international conference on World Wide Web, May 08-12, 2007, Banff, Alberta, Canada
|
|
|
|
|
|
|
|
|
|
|
|
A. Ad. Letichevsky , Yu. V. Kapitonova , V. A. Volkov , A. A. Letichevsky , S. N. Baranov , V. P. Kotlyarov , T. Weigert, Systems Specification by Basic Protocols, Cybernetics and Systems Analysis, v.41 n.4, p.479-493, July 2005
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ana Belén Barragáns Martínez , José J. Pazos Arias , Ana Fernández Vilas , Jorge García Duque , Martín López Nores , Rebeca P. Díaz Redondo , Yolanda Blanco Fernández, On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications, Information and Software Technology, v.50 n.4, p.296-321, March, 2008
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cinzia Bernardeschi , Alessandro Fantechi , Stefania Gnesi , Salvatore Larosa , Giorgio Mongardi , Dario Romano, A Formal Verification Environment for Railway Signaling System Design, Formal Methods in System Design, v.12 n.2, p.139-161, March 1, 1998
|
|
|
Joost-Pieter Katoen , Rom Langerak , Ed Brinksma , Diego Latella , Tommaso Bolognesi, A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions, Formal Methods in System Design, v.12 n.2, p.189-216, March 1, 1998
|
|
|
|
|
|
|
|
|
C. Carreras , J. C. Lopez , M. L. Lopez , L. Sanchez , C. Delgado-Kloos , N. Martinez, A Co-Design Methodology Based on Formal Specification and High-level Estimation, Proceedings of the 4th International Workshop on Hardware/Software Co-Design, p.28, March 18-20, 1996
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Todor Stefanov , Claudiu Zissulescu , Alexandru Turjan , Bart Kienhuis , Ed Deprettere, System Design Using Kahn Process Networks: The Compaan/Laura Approach, Proceedings of the conference on Design, automation and test in Europe, p.10340, February 16-20, 2004
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Wang Daliang , Zhang De-zheng , Gao Li-xin , Liu Jian-ming , Zhang Huan-sheng, Process knowledge verification method based on petri net, Proceedings of the 1st international conference on Forensic applications and techniques in telecommunications, information, and multimedia and workshop, January 21-23, 2008, Adelaide, Australia
|
|
|
Nicolás D'Ippolito , Dario Fishbein , Howard Foster , Sebastian Uchitel, MTSA: Eclipse support for modal transition systems construction, analysis and elaboration, Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, p.6-10, October 21-21, 2007, Montreal, Quebec, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tony Cant , Ben Long , Jim McCarthy , Brendan Mahony , Kylie Williams, The HiVe Writer, Electronic Notes in Theoretical Computer Science (ENTCS), 217, p.221-234, July, 2008
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Daniel Oberle , Steffen Lamparter , S. Grimm , D. Vrandečić , S. Staab , A. Gangemi, Towards ontologies for formalizing modularization and communication in large software systems, Applied Ontology, v.1 n.2, p.163-202, April 2006
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Zhenbang Chen , Zhiming Liu , Anders P. Ravn , Volker Stolz , Naijun Zhan, Refinement and verification in component-based model-driven design, Science of Computer Programming, v.74 n.4, p.168-196, February, 2009
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Robert M. Hierons , Kirill Bogdanov , Jonathan P. Bowen , Rance Cleaveland , John Derrick , Jeremy Dick , Marian Gheorghe , Mark Harman , Kalpesh Kapoor , Paul Krause , Gerald Lüttgen , Anthony J. H. Simons , Sergiy Vilkomir , Martin R. Woodward , Hussein Zedan, Using formal specifications to support testing, ACM Computing Surveys (CSUR), v.41 n.2, p.1-76, February 2009
|
|
|
|
|
|
Di Wang , Vyas Venkataraman , Zhen Wang , Wei Qin , Hangsheng Wang , Mrinal Bose , Jayanta Bhadra, Accelerating multi-party scheduling for transaction-level modeling, Proceedings of the 19th ACM Great Lakes symposium on VLSI, May 10-12, 2009, Boston Area, MA, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Christina Chavez , Alessandro Garcia , Thais Batista , Marcel Oliveira , Claudio Sant'Anna , Awais Rashid, Composing architectural aspects based on style semantics, Proceedings of the 8th ACM international conference on Aspect-oriented software development, March 02-06, 2009, Charlottesville, Virginia, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Manu De Backer , Monique Snoeck , Geert Monsieur , Wilfried Lemahieu , Guido Dedene, A scenario-based verification technique to assess the compatibility of collaborative business processes, Data & Knowledge Engineering, v.68 n.6, p.531-551, June, 2009
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T. Mechri , M. Langar , M. Mejri , H. Fujita , Y. Funyu, Automatic Enforcement of Security in Computer Networks, Proceeding of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07, p.200-222, June 11, 2007
|
|
|
|
|
|
|
|
|
|
|
|
Giuseppe De Giacomo , Yves Lesperance , Hector J. Levesque, Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus, Proceedings of the Fifteenth international joint conference on Artifical intelligence, p.1221-1226, August 23-29, 1997, Nagoya, Japan
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M. Bordegoni , G. Faconti , S. Feiner , M. T. Maybury , T. Rist , S. Ruggieri , P. Trahanias , M. Wilson, A standard reference model for intelligent multimedia presentation systems, Computer Standards & Interfaces, v.18 n.6-7, p.477-496, December, 1997
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M. A. Bauer , N. Coburn , D. L. Erickson , P. J. Finnigan , J. W. Hong , P.-Å. Larson , Jan K. Pachl , J. Slonim , D. J. Taylor , T. J. Teorey, A distributed system architecture for a distributed application environment, IBM Systems Journal, v.33 n.3, p.399-425, July 1994
|
|
|
|
|
|
D. G. Shea , W. W. Wilcke , R. C. Booth , D. H. Brown , Z. D. Christidis , M. E. Giampapa , G. B. Irwin , T. T. Murakami , V. K. Naik , F. T. Tong , P. R. Varker , D. J. Zukowski, The IBM Victor V256 partitionable multiprocessor, IBM Journal of Research and Development, v.35 n.5-6, p.573-590, Sept./Nov. 1991
|
|
|
|
|
|
|
|
|
Avinash Malik , Zoran Salcic , Alain Girault , Adam Walker , Sung Chul Lee, A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, September 23-25, 2009, Madrid, Spain
|
|
|
|
|
|
|
|
|
|
|
|
A. Letichevsky , J. Kapitonova , A. Letichevsky, Jr. , V. Volkov , S. Baranov , T. Weigert, Basic protocols, message sequence charts, and the verification of requirements specifications, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.49 n.5, p.661-675, 5 December 2005
|
|
|
|
|
|
Jó Ueyama , Vítor P. V. Pinto , Edmundo R. M. Madeira , Paul Grace , Thienne M. M. Jonhson , Raphael Y. Camargo, Exploiting a generic approach for constructing mobile device applications, Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE, June 16-19, 2009, Dublin, Ireland
|
|
|
|
|
|
|
|
|
|
|
|
Stephen Fenech , Gordon J. Pace , Joseph C. Okika , Anders P. Ravn , Gerardo Schneider, On the Specification of Full Contracts, Electronic Notes in Theoretical Computer Science (ENTCS), v.253 n.1, p.39-55, October, 2009
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Anyu Zhang , Xiaoyao Xie, Web services semantic model system, Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication, p.592-595, August 20-22, 2009, Hong Kong, China
|
REVIEW
"Martin Rem : Reviewer"
Concurrent computations may be viewed as collections of sequential processes
that communicate by simultaneously engaging in events. This model of concurrency
has recently been drawing a lot of attention among computer scientists. It is,
for inst
more...
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
F.1