1086 search results - page 117 / 218 » Rapid Development of Real-Time Systems Using RTExpress |
VLSI
2007
Springer
14 years 3 months ago
2007
Springer
System design complexity is growing rapidly. As a result, current development costs are constantly increasing. It is becoming increasingly difficult to estimate how much time it ...
ISCC
2000
IEEE
14 years 1 months ago
2000
IEEE
With a changing structure of networks and application systems due to the requirements of decentralised enterprises and open service markets, distributed systems with rapidly incre...
AIED
2005
Springer
14 years 2 months ago
2005
Springer
SuperDuperWalker is a software-based framework for experiments on the evolution of locomotion. It simulates the behavior of evolving agents in a 3D physical simulation environment ...
INDOCRYPT
2010
Springer
13 years 6 months ago
2010
Springer
: Radio frequency identification (RFID) is a technology for the automated identification of physical entities using radio frequency transmissions. In the past ten years, RFID syste...
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 8 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...