554 search results - page 65 / 111 » Communicating Structures for Modeling Large-scale Systems |
118
click to vote
APSEC
2001
IEEE
15 years 3 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
103
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Technology to support knowledge transfer and cooperative inquiry must offer its users the ability to effectively interpret knowledge structures produced by collaborators. Communic...
JCS
2002
14 years 11 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
102
click to vote
IJSKD
2011
14 years 6 months ago
2011
Meta-design of socio-technical systems is an approach which complies with the need of integrating two different types of structures and processes: technical systems which are engi...
114
click to vote
GECCO
2008
Springer
15 years 27 days ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...