3030 search results - page 120 / 606 » A SOA-Based Architecture Framework |
FMSD
2006
13 years 10 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
JAR
2006
13 years 10 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
CONCURRENCY
2007
13 years 10 months ago
2007
Component frameworks, including those that support the Common Component Architecture (CCA), represent a promising approach to addressing this challenge, one that is being realized...
DAC
2002
ACM
14 years 11 months ago
2002
ACM
Textiles and computing share a synergistic relationship, which is being harnessed to create a new paradigm in personalized mobile information processing (PMIP). In this paper, we ...
ICALT
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we present a framework for constructing problem solving environments for assessing procedural knowledge, i.e. the student’s ability to apply his/her knowledge in o...