The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Interaction as a basis for empirical computer science
ACM Computing Surveys (CSUR)
Evolving algebras 1993: Lipari guide
Specification and validation methods
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Why interaction is more powerful than algorithms
Communications of the ACM
Compositional refinement of interactive systems
Journal of the ACM (JACM)
Interactive foundations of computing
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Communications of the ACM
An agent-based approach for building complex software systems
Communications of the ACM
An interactive viewpoint on the role of UML
Unified modeling language
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Timing Analysis of Real-Time Software: A Practical Approach to the Specification and Design of Real-Time
The Vision of Autonomic Computing
Computer
A preliminary taxonomy of multi-agent interactions
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
UML for real
Comparing autonomic and proactive computing
IBM Systems Journal
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
ABLE: a toolkit for building multiagent autonomic systems
IBM Systems Journal
Turing machines, transition systems, and interaction
Information and Computation
Transformational design of an interactive component straddling communication streams
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Deriving state-based implementations of interactive components with history abstractions
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Towards middleware based situation awareness
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
Transforming stream processing functions into state transition machines
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
| Hi-index | 0.00 |
The paper discusses explicit properties and the requirements that are to be verified, imposed upon software-intensive systems by their environment and by their users. Those systems are time-critical, may contain autonomous components, and may exhibit proactive behaviour. It is suggested that the analysis and verification of properties in software-intensive systems requires time-aware model of interactive computation. The authors of this paper claim that hitherto used time interpretation in computer science is too simplified, and several simultaneously maintained independent time counting systems is a necessary precondition for timing analysis of interactions. A feature space for comparing the existing approaches to interactive computing is suggested, and a potential candidate for time-aware model of interactive computation is discussed.