3045 search results - page 12 / 609 » Formal Approaches to Software Architecture |
WEBI
2005
Springer
14 years 26 days ago
2005
Springer
We present a generic natural language processing (NLP) architecture, acronym QTIL, based on a system of cooperating multiple agents (Q/A, T, I, and L agents) which can be used in ...
APSCC
2008
IEEE
13 years 9 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
ICFEM
2004
Springer
14 years 23 days ago
2004
Springer
AMAST
1991
Springer
13 years 11 months ago
1991
Springer
ISSS
2000
IEEE
13 years 11 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...