5113 search results - page 242 / 1023 » Model-integrated system development: models, architecture, a... |
178
click to vote
COMPUTER
2002
15 years 6 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
186
click to vote
TR
2008
15 years 6 months ago
2008
A number of security vulnerabilities have been reported in the Windows, and Linux operating systems. Both the developers, and users of operating systems have to utilize significant...
174
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Business-IT alignment can be achieved at various levels of maturity. Supposing that an organization has tried to achieve business-IT alignment, a question to face is: how is that o...
165
click to vote
FORTE
2001
15 years 8 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
164
click to vote
RTSS
1989
IEEE
15 years 10 months ago
1989
IEEE
A new fault tolerant architecture that provides tolerance to a broad scope of hardware, software, and communications faults is being developed. This architecture relies on widely ...