212 search results - page 34 / 43 » Rapid Abstract Control Model for Signal Processing Implement... |
100
click to vote
ICSOFT
2007
15 years 1 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...
ECAL
2007
Springer
15 years 5 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...
IFM
2004
Springer
15 years 5 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...
101
click to vote
TACAS
2004
Springer
15 years 5 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...
85
Voted
SSS
2007
Springer
15 years 5 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...