A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Principles of Built-In-Test for Run-Time-Testability in Component-Based Software Systems
Software Quality Control
Simulation and Scheduling of Real-Time Computer Vision Algorithms
ICVS '99 Proceedings of the First International Conference on Computer Vision Systems
Essex Wizards'99 Team Description
RoboCup-99: Robot Soccer World Cup III
A Multi-threaded Approach to Simulated Soccer Agents for the RoboCup Competition
RoboCup-99: Robot Soccer World Cup III
Essex Wizards 2000 Team Description
RoboCup 2000: Robot Soccer World Cup IV
Safecharts for Specifying and Designing Safety Critical Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Designing embedded systems using patterns: a case study
Journal of Systems and Software - Special issue: Computer systems
IEEE Transactions on Computers
Intelligent operational management and the concept of integration
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Priority tasks allocation through the maximum entropy principle
ICAI'07 Proceedings of the 8th Conference on 8th WSEAS International Conference on Automation and Information - Volume 8
A framework for software safety in safety-critical systems
ACM SIGSOFT Software Engineering Notes
Strategic IT planning as change specification
Proceedings of the 2nd international conference on Theory and practice of electronic governance
Integration techniques in intelligent operational management: a review
Knowledge-Based Systems
Static scheduling with interruption costs for computer vision applications
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
Computer assisted source-code parallelisation
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Proceedings of the 15th European Conference on Pattern Languages of Programs
A denotational model for instantaneous signal calculus
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Fault-tolerant scheduling in homogeneous real-time systems
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |