624 search results - page 24 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
APSEC
2001
IEEE
14 years 8 days ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Requirements Engineering (RE) deals with the early phases of software engineering namely requirement elicitation, modeling, specification and validation. Architecture of a softwar...
FPL
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents a novel IP core reuse strategy which reduces design time from days to hours for communication circuits such as digital radio receivers. This design productivity...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Query processing techniques for XML data have focused mainly on tree-pattern queries (TPQs). However, the need for querying XML data sources whose structure is very complex or not...
EOR
2006
13 years 8 months ago
2006
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...