ICSM
1997
IEEE
14 years 3 months ago
1997
IEEE
Philips is an electronics company which operates world wide and participates in professional as well as consumer markets. The architecture of many software intensive systems are c...
KBSE
1998
IEEE
14 years 3 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
NGITS
1999
Springer
14 years 3 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
CSMR
2000
IEEE
14 years 3 months ago
2000
IEEE
The assessment of the changeability of software systems is of major concern for buyers of the large systems found in fast-moving domains such as telecommunications. One way of app...
TSD
2001
Springer
14 years 3 months ago
2001
Springer
Two kinds of systems have been defined during the long history of WSD: principled systems that define which knowledge types are useful for WSD, and robust systems that use the info...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...
ECMDAFA
2010
Springer
14 years 3 months ago
2010
Springer
Model-Based Systems Engineering (MBSE) is an emerging engineering discipline whose driving motivation is to provide support throughout the entire system life cycle. MBSE not only a...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
Distributed Internet-based attacks on computer systems are becoming more prevalent. These attacks usually employ some form of automation and involve the compromise of many systems...
IEEEAMS
2003
IEEE
14 years 4 months ago
2003
IEEE
Autonomic computing – self-configuring, self-healing, self-optimizing applications, systems and networks – is widely believed to be a promising solution to everincreasing syst...