306 search results - page 11 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
CODES
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
CSSE
2004
IEEE
13 years 7 months ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
RE
2005
Springer
14 years 1 months ago
2005
Springer
Our group has taken a clinical approach to doing requirements engineering for a specific domain: delivering email tools to the cognitively impaired population. The clinical view s...
JDCTA
2010
13 years 2 months ago
2010
Platform-based development is currently the dominant development method of enterprise application, but the features provided by current mainstream enterprise application developme...