3045 search results - page 12 / 609 » Formal Approaches to Software Architecture |
WEBI
2005
Springer
15 years 3 months 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 ...
117
click to vote
APSCC
2008
IEEE
15 years 10 days 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
15 years 3 months ago
2004
Springer
AMAST
1991
Springer
15 years 1 months ago
1991
Springer
105
click to vote
ISSS
2000
IEEE
15 years 2 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...