Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2014.07.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2031616527
@@ Property / OpenAlex ID: W2031616527 / rank @@
+Normal rank
@@ Property / cites work @@
+Software Product Line Engineering
@@ Property / cites work: Software Product Line Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808794
@@ Property / cites work: Q4808794 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4671826
@@ Property / cites work: Q4671826 / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Guide to the Future
@@ Property / cites work: A Complete Guide to the Future / rank @@
+Normal rank
@@ Property / cites work @@
+Scala actors: Unifying thread-based and event-based programming
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Validating Timed Models of Deployment Components with Parametric Concurrency
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and pragmatics of real-time maude
@@ Property / cites work: Semantics and pragmatics of real-time maude / rank @@
+Normal rank
@@ Property / cites work @@
+A system for compositional verification of asynchronous objects
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Space-aware ambients and processes
@@ Property / cites work: Space-aware ambients and processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation on speed: a unified approach
@@ Property / cites work: Bisimulation on speed: a unified approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843091
@@ Property / cites work: Q4843091 / rank @@
+Normal rank
@@ Property / cites work @@
+GridSim: a toolkit for the modeling and simulation of distributed resource management and scheduling for Grid computing
+Normal rank
@@ Property / cites work @@
+Task automata: Schedulability, decidability and undecidability
+Normal rank
@@ Property / cites work @@
+Schedulability of asynchronous real-time concurrent objects
+Normal rank
@@ Property / cites work @@
+Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+SPEED
@@ Property / cites work: SPEED / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical Model Checking for Networks of Priced Timed Automata
+Normal rank