3045 search results - page 254 / 609 » Formal Approaches to Software Architecture |
125
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The control of small-scale helicopter is a MIMO problem. To use of classical control approach to formally solve a MIMO problem, one needs to come up with multidimensional Root Loc...
168
click to vote
JCIT
2008
15 years 6 months ago
2008
Active database systems (ADBS) can, automatically, react to the occurrence of predefined events by definition a collection of active rules. One of the most important modules of AD...
163
click to vote
RE
2009
Springer
16 years 1 months ago
2009
Springer
![[vem: xi: ] - A Methodology for Process Based Requirements Engineering](http://sciweavers.com/files/imagecache/thumbnail/default/content.jpg "[vem: xi: ] - A Methodology for Process Based Requirements Engineering")
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
225
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
177
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...