12697 search results - page 382 / 2540 » Call for Papers |
178
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...
199
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Delay Tolerant Networks are increasingly being envisioned for a wide range of applications. Many of these applications need support for quality of service (QoS) differentiation...
244
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
158
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes an architectural framework for integrating services within an enterprise and accessing them from mobile devices in a pervasive-computing environment. Present n...
185
click to vote
APCSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, a new architecture called the extendable instruction set computer (EISC) is introduced that addresses the issues of memory size and performance in embedded micropro...