A Survey of Some Theoretical Aspects of Multiprocessing
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Formal verification of parallel programs
Communications of the ACM
Petri nets and speed independent design
Communications of the ACM
Operating Systems Theory
Concurrency in Software Systems
Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]
A partial solution to the reachability-problem for vector-addition systems
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Comments on capabilities, limitations and “correctness” of Petri nets
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
A Petri Net model of the CDC 6400
Proceedings of the SIGOPS workshop on System performance evaluation
COORDINATION OF ASYNCHRONOUS EVENTS
COORDINATION OF ASYNCHRONOUS EVENTS
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
PETRI NET LANGUAGE
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
DECIDABILITY QUESTIONS FOR PETRI NETS
DECIDABILITY QUESTIONS FOR PETRI NETS
THE LOGIC OF SYSTEMS
Flow of control, resource allocation, and the proper termination of programs
Flow of control, resource allocation, and the proper termination of programs
The modeling and analysis of supervisory systems
The modeling and analysis of supervisory systems
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Design of a Computer—The Control Data 6600
Design of a Computer—The Control Data 6600
ACM Transactions on Computer Systems (TOCS)
An architecture for object management in OIS
ACM Transactions on Information Systems (TOIS)
Integrated manufacturing modeling system
IBM Journal of Research and Development - The MIT Press scientific computation series
A petri net reduction algorithm for protocol analysis
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Static scheduling of synchronous data flow programs for digital signal processing
IEEE Transactions on Computers
Knowledge-based support for system verification during requirements analysis
SIGCPR '87 Proceedings of the conference on The 1987 ACM SIGBDP-SIGCPR Conference
Different perspectives on information systems: problems and solutions
ACM Computing Surveys (CSUR)
Infinitesimal perturbation analysis for general discrete event systems
Journal of the ACM (JACM)
Conversion from data-driven to synchronous execution in loop programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A comparison of concurrent languages: a class project
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
ACM Transactions on Programming Languages and Systems (TOPLAS)
AMS: a knowledge-based approach to task representation, organization and coordination
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
A comparison of techniques for the specification of external system behavior
Communications of the ACM
Survey of software tools for evaluating reliability, availability, and serviceability
ACM Computing Surveys (CSUR)
IEEE Transactions on Computers
Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries
IEEE Transactions on Software Engineering
Adding browsing semantics to the hypertext model
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
IEEE Transactions on Computers
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models
IEEE Transactions on Software Engineering
Toward synthesis from English descriptions
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Critical Races in Ada Programs
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
A Formal Model for Software Project Management
IEEE Transactions on Software Engineering
Verifying General Safety Properties of Ada Tasking Programs
IEEE Transactions on Software Engineering
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets
IEEE Transactions on Software Engineering
Specification and verification of active message systems
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Negotiation behavior during requirements specification
ICSE '90 Proceedings of the 12th international conference on Software engineering
Starvation and Critical Race Analyzers for Ada
IEEE Transactions on Software Engineering
Unification of underlying concepts in different office models
ACM SIGMIS Database
A hands-on dataflow architecture/programming course
ACM SIGCSE Bulletin
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
Multi-level specification and protocol design for distributed multimedia communication
COCS '91 Proceedings of the conference on Organizational computing systems
(SM)/sup 2/-II: A Large-Scale Multiprocessor for Sparse Matrix Calculations
IEEE Transactions on Computers
Design methodology management—a CAD framework initiative perspective
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Performability Analysis of Distributed Real-Time Systems
IEEE Transactions on Computers
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
ECOS graphs: a dataflow programming language
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Graphical model structures for discrete event simulation
WSC '92 Proceedings of the 24th conference on Winter simulation
Building correct simulation models is difficult
WSC '92 Proceedings of the 24th conference on Winter simulation
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
AMS formalism: an approach to office modeling and OIS development
ACM SIGMIS Database
Transforming Petri nets into event graph models
WSC '94 Proceedings of the 26th conference on Winter simulation
Hierarchical abilities of diagrammatic representations of discrete event simulation models
WSC '94 Proceedings of the 26th conference on Winter simulation
On the simultaneous construction of sample paths
WSC '95 Proceedings of the 27th conference on Winter simulation
Building reusable simulators using hierarchical event graphs
WSC '95 Proceedings of the 27th conference on Winter simulation
Simulation modeling within workflow technology
WSC '95 Proceedings of the 27th conference on Winter simulation
Improving the accuracy of Petri net-based analysis of concurrent programs
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Computational issues for accessibility in discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
First-class synchronization barriers
Proceedings of the first ACM SIGPLAN international conference on Functional programming
System design using an integrated specification and performance modeling methodology
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Performance Modeling of System Architectures
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
Petri net based simulation of construction schedules
Proceedings of the 29th conference on Winter simulation
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Event-based detection of concurrency
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Formal modeling and analysis of the HLA component integration standard
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Formal verification of pipeline control using controlled token nets and abstract interpretation
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Formal semantics for SA style data flow diagram specification languages
Proceedings of the 1999 ACM symposium on Applied computing
An axiomatic basis for general discrete-event modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
WSC '86 Proceedings of the 18th conference on Winter simulation
JOYCE+: model and language for multi-site distributed systems
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
ANSS '86 Proceedings of the 19th annual symposium on Simulation
A collection of software tools for analyzing designs of concurrent software systems
ICSE '85 Proceedings of the 8th international conference on Software engineering
An approach for video meta-data modeling and query processing
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 1)
Performance evaluation of concurrent systems using timed petri nets
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
On Communicating Finite-State Machines
Journal of the ACM (JACM)
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
A CAD tool for stochastic Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
petri—a UNIX tool for the analysis of Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Office Information Systems and Computer Science
ACM Computing Surveys (CSUR)
Nonsequentiality and Concrete Activity Phases in Discrete-Event Simulation Languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
The VAL Language: Description and Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
A proposal for information systems design and management
ACM SIGDA Newsletter
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Complexity of expressions allowing concurrency
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Skeleton-based agent development for electronic institutions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Compilation of data-driven programs for synchronous execution
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data flow analysis of communicating processes
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
Elements underlying the specification of requirements
Annals of Software Engineering
The Evolution of Concurrent Programs
Applied Intelligence
Generating Validation Feedback for Automatic Interpretation of Informal Requirements
Formal Methods in System Design
Systems Design: CASDA: Synthesized Graphic Design of Real-Time Systems
IEEE Computer Graphics and Applications
A Net Practice for Software Project Management
IEEE Software
A G-Net Model for Knowledge Representation and Reasoning
IEEE Transactions on Knowledge and Data Engineering
Temporal Data Management Systems: A Comparative View
IEEE Transactions on Knowledge and Data Engineering
AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge
IEEE Transactions on Knowledge and Data Engineering
Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs
IEEE Transactions on Knowledge and Data Engineering
Temporal Synchronization Models for Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
A Spatio-Temporal Semantic Model for Multimedia Database Systems and Multimedia Information Systems
IEEE Transactions on Knowledge and Data Engineering
An Equivalence Theorem for Labeled Marked Graphs
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
Investigating the Applicability of Petri Nets for Rule-Based System Verification
IEEE Transactions on Knowledge and Data Engineering
Implementing Condition/Event Nets in the Circal Process Algebra
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Extended Timed Petri Nets for Distributed Multimedia Presentations
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Perspectives in Modeling: Simulation, Database, and Workflow
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Scientific workflow management in a distributed production environment
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Resource-conscious AI planning with conjunctions and disjunctions
Acta Cybernetica
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Survey of recent operating systems research, designs and implementations
ACM SIGOPS Operating Systems Review
An Object-Oriented Formal Model for Software Project Management
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Computer Design Language - Version Munich (CDLM) a modern multi-level language
DAC '83 Proceedings of the 20th Design Automation Conference
Microprocessor systems modeling with MODLAN
DAC '83 Proceedings of the 20th Design Automation Conference
SIGMETRICS '83 Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Fault-tolerant wafer-scale architectures for VLSI
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Timed Petri nets and preliminary performance evaluation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
A parallel Prolog: The construction of a data driven model
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Semantics of a communication mechanism in a distributed system
SIGSMALL '82 Proceedings of the 5th ACM SIGSMALL symposium on Small systems
Interactive software development tool: ISDT
ICSE '81 Proceedings of the 5th international conference on Software engineering
The two-step commitment protocol: Modeling, specification and proof methodology
ICSE '81 Proceedings of the 5th international conference on Software engineering
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 2
Design issues in the development of a modular multiprocessor communications network
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
A synthesis rule for concurrent systems
DAC '78 Proceedings of the 15th Design Automation Conference
Design and verification of communication procedures: A bottom-up approach
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Modeling and simulating data flow computations at machine language level
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Models for specification and anaysis of parallel computing systems
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Performance evaluation of communicating processes
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Dialogue and process design for interactive information systems using Taxis
Proceedings of the SIGOA conference on Office information systems
A modelling tool for office information systems
Proceedings of the SIGOA conference on Office information systems
Modeling jobs in a distributed system
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
GEM: A tool for concurrency specification and verification
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Applications of feedback in functional programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Predicting concurrent computer system performance using Petri-Net models
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Subdocument invocation semantics in collaborative hyperdocuments
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Formal Analysis of an Online Stock Trading System by Temporal Petri Nets
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
Visualizing graphical and textual formalisms
Information Systems
A system for multiparadigm development of software systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
Discovering models of behavior for concurrent workflows
Computers in Industry - Special issue: Process/workflow mining
Investigating Ontologies for Simulation Modeling
ANSS '04 Proceedings of the 37th annual symposium on Simulation
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
On teaching theoretical foundations of Computer Science
ACM SIGACT News
Extensions of pushdown automata and Petri nets
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Aspect-oriented design of sensor networks
Journal of Parallel and Distributed Computing
Performance analysis of software for an MIMD computer
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Simultaneous resource possession in queueing models of computers
ACM SIGMETRICS Performance Evaluation Review
A data-centric approach to composing embedded, real-time software components
Journal of Systems and Software - Special issue: Automated component-based software engineering
Two-level assurance of QoS requirements for distributed real-time and embedded systems
Proceedings of the 2005 ACM symposium on Applied computing
Evolving petri nets to represent metabolic pathways
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Encyclopedia of Computer Science
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Agent-Based Flow Control for HLA Components
Simulation
ACM SIGSIM Simulation Digest
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Architectural approaches to secure databases
ACM SIGSMALL Newsletter
Journal of Management Information Systems - Special section: Toward a theory of business process change management
A method to test concurrent systems using architectural specification
The Journal of Supercomputing
Product lines for digital information products
Information Systems
On the Generality of Event-Graph Models
INFORMS Journal on Computing
Functional verification of task partitioning for multiprocessor embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Tools for information system dynamics management
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Information systems design approach integrating data and transactions
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Modeling Bus Contention and Memory Interference in a Multiprocessor System
IEEE Transactions on Computers
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes
IEEE Transactions on Computers
Protection Against External Errors in a Dedicated System
IEEE Transactions on Computers
A Matrix Formalism for Asynchronous Implementation of Algorithms
IEEE Transactions on Computers
REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control
IEEE Transactions on Computers
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
A Hard Programmable Control Unit Design Using VLSI Technology
IEEE Transactions on Computers
Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept
IEEE Transactions on Computers
Modeling and Verification of Communication Protocols in Sara: The X.21 Interface
IEEE Transactions on Computers
Data Flow Computing Software Development
IEEE Transactions on Computers
A transactional grid workflow service for ShanghaiGrid
International Journal of Web and Grid Services
Modelling inter-process dependencies with high-level business process modelling languages
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
MARS: A metamodel recovery system using grammar inference
Information and Software Technology
E-Business Vocabularies as a Moving Target: Quantifying the Conceptual Dynamics in Domains
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Viewcharts: Syntax and Semantics
Informatica
Model replication: transformations to address model scalability
Software—Practice & Experience
A method for modeling service management of e-Learning
WSEAS Transactions on Information Science and Applications
Experiences in engineering active replication into a traditional three-tiered client-server system
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Computational Logic in Multi-Agent Systems
INFERENCE PROCEDURES FOR FUZZY KNOWLEDGE REPRESENTATION SCHEME
Applied Artificial Intelligence
Abductive Workflow Mining Using Binary Resolution on Task Successor Rules
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Robust Interactive Storytelling Framework for Automatic TV Content/Story Production
ICEC '08 Proceedings of the 7th International Conference on Entertainment Computing
New directions for micro- and system architectures in the 1980s
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Automated workflow control: a key to office productivity
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
MEDOC: a methodology for designing and evaluating large-scale real-time systems
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
A modeling method for service management of e-Learning
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Exploiting the power of relational databases for efficient stream processing
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
A Model of Computation for Bit-Level Concurrent Computing and Programming: APEC
IEICE - Transactions on Information and Systems
Grid Based Training Environment for Earth Observation
GPC '09 Proceedings of the 4th International Conference on Advances in Grid and Pervasive Computing
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
Expert Systems with Applications: An International Journal
Reduction rules for reset/inhibitor nets
Journal of Computer and System Sciences
Petri Net Tools For The Analysis Of Collaborative Tasks
Journal of Integrated Design & Process Science
Some techniques for compile-time analysis of user-computer interactions
IBM Journal of Research and Development
IBM Journal of Research and Development
Information Sciences: an International Journal
Real-time transaction processing for autonomic Grid applications
Engineering Applications of Artificial Intelligence
Analytical verification of information system requirements using petri net properties
Information and Software Technology
Distributed multimedia synchronization specifications using M2EST
Information and Software Technology
A practical approach to model extension
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
A user-oriented design for business workflow systems
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Run time assurance of application-level requirements in wireless sensor networks
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks
The design of an asynchronous blocksorter
ICNVS'10 Proceedings of the 12th international conference on Networking, VLSI and signal processing
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
A VHDL-based design methodology for asynchronous circuits
WSEAS Transactions on Circuits and Systems
A conceptual framework for designing service-oriented inter-organizational information systems
Proceedings of the 2010 Symposium on Information and Communication Technology
Proceedings of the IEEE/ACM international conference on Automated software engineering
The downward-closure of petri net languages
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
ACM Computing Surveys (CSUR)
CompTalks: from a meta-model towards a framework for application-level interaction protocols
Euro-Par'09 Proceedings of the 2009 international conference on Parallel processing
Linear time analysis of properties of conflict-free and general Petri nets
Theoretical Computer Science
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part III
Modeling process-related RBAC models with extended UML activity models
Information and Software Technology
Formal semantics and implementation of BPMN 2.0 inclusive gateways
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
The brave new world of design requirements
Information Systems
Monitoring of Medication Intake Using a Camera System
Journal of Medical Systems
Supervised rule based thermodynamic cycles design technique
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part II
Inference-based procedural modeling of solids
Computer-Aided Design
Perceived consistency between process models
Information Systems
Hit 'em where it hurts: a live security exercise on cyber situational awareness
Proceedings of the 27th Annual Computer Security Applications Conference
Petri-Net-Based coordination algorithms for grid transactions
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Grid based environment application development methodology
LSSC'09 Proceedings of the 7th international conference on Large-Scale Scientific Computing
Multi-modal scenarios revisited: A net-based representation
Theoretical Computer Science
A strategy for content reusability with product lines derived from experience in online education
ICSE'05 Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Context-adaptive and energy-efficient mobile transaction management in pervasive environments
The Journal of Supercomputing
Context sensitive user interfaces
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Timed systemC waiting-state automata
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Research: Object model for hypermedia applications
Computer Communications
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Towards a unified view of system development methods
International Journal of Information Management: The Journal for Information Professionals
Modeling paradigms for discrete event simulation
Operations Research Letters
A graph grammar-based formal validation of object-process diagrams
Software and Systems Modeling (SoSyM)
MonetDB/DataCell: online analytics in a streaming column-store
Proceedings of the VLDB Endowment
The diagram of flow: its departure from software engineering and its return
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Fundamenta Informaticae
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Computational Intelligence - Volume Part II
Multi-core systems modeling for formal verification of parallel algorithms
ACM SIGOPS Operating Systems Review
Dynamic Maps' Use in Smart-Cities Learning Contexts
International Journal of Digital Literacy and Digital Competence
Concurrency control generation for dynamic threads using discrete-event systems
Science of Computer Programming
MINIMIZING OPERATIONAL COST USING ARTIFICIAL IMMUNE ALGORITHM
Journal of Integrated Design & Process Science
Hi-index | 0.09 |