1784 search results - page 219 / 357 » Formal Models for Embedded System Design |
ICOST
2007
Springer
15 years 4 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
101
click to vote
COMPSAC
2010
IEEE
14 years 8 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
167
click to vote
TASE
2012
IEEE
13 years 5 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
JCS
2008
14 years 10 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...