212 search results - page 34 / 43 » Rapid Abstract Control Model for Signal Processing Implement... |
150
click to vote
ICSOFT
2007
15 years 6 months ago
2007
End-user development is proposed as a solution to the issues business organisations face when developing web applications to support their business processes. We are proposing a me...
120
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In psychology the ‘A not B’ error, whereby infants perseverate in reaching to the location where a toy was previously hidden after it has been moved to a new location...
140
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
143
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
129
Voted
SSS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...