4418 search results - page 456 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
180
click to vote
RTAS
2006
IEEE
16 years 26 days ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
165
Voted
APSEC
2005
IEEE
16 years 15 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
159
click to vote
IFM
2004
Springer
16 years 7 days ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
185
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...
182
Voted
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...