3814 search results - page 685 / 763 » YAPI: application modeling for signal processing systems |
108
Voted
ZUM
1997
Springer
15 years 1 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
ICDE
2010
IEEE
15 years 9 months ago
2010
IEEE
In three-tiered web applications, some form of admission control is required to ensure that throughput and response times are not significantly harmed during periods of heavy load....
SAFECOMP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...