4666 search results - page 281 / 934 » Equations on Timed Languages |
163
Voted
SERP
2004
15 years 8 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
176
click to vote
IS
2007
15 years 6 months ago
2007
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...
188
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
199
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
199
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...