6348 search results - page 1155 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
ISLPED
2009
ACM
14 years 2 months ago
2009
ACM
An energy efficient object recognition processor is proposed for real-time visual applications. Its energy efficiency is improved by lowering average power consumption while susta...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
ISORC
2008
IEEE
14 years 2 months ago
2008
IEEE
Recent years have witnessed the emergence and rapid growth of distributed service infrastructures such as mobile ad hoc networks, P2P, PlanetLab and Grids. In such distributed inf...
FOSSACS
2007
Springer
14 years 2 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
SOCO
2007
Springer
14 years 2 months ago
2007
Springer
Aspects require access to the join point context in order to select and adapt join points. For this purpose, current aspect-oriented systems offer a large number of pointcut constr...