1525 search results - page 91 / 305 » Formal Models for Communication-Based Design |
99
Voted
SOCO
2008
Springer
15 years 17 days ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
100
click to vote
FTRTFT
1998
Springer
15 years 4 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
123
Voted
BIRTHDAY
2009
Springer
14 years 10 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
128
click to vote
CODES
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
94
Voted
ASM
2000
ASM
15 years 5 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...