12333 search results - page 592 / 2467 » System Level Modelling for Hardware Software Systems |
160
click to vote
ECBS
2006
IEEE
16 years 1 months ago
2006
IEEE
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...
192
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
171
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
181
click to vote
ICCS
2004
Springer
16 years 14 days ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
193
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...