2245 search results - page 348 / 449 » A Case Study Implementing Features Using AspectJ |
147
click to vote
SC
2004
ACM
15 years 11 months ago
2004
ACM
The Merrimac supercomputer uses stream processors and a highradix network to achieve high performance at low cost and low power. The stream architecture matches the capabilities o...
154
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
150
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
180
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
In multi-tier enterprise systems, application servers are key components to implement business logic and provide services. To support a large number of simultaneous accesses from ...
160
click to vote
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper we present a concrete case study in which semantic technology has been used to enable a territorial innovation. Firstly, we describe a scenario of the ICT r...