4917 search results - page 623 / 984 » Software Engineering is Not Computer Science |
154
click to vote
FSEN
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
183
click to vote
SOCO
2007
Springer
16 years 28 days ago
2007
Springer
This paper explores service composition in pervasive environments with a focus on dynamic service selection. Service orientation offers the dynamism and loose coupling needed in pe...
196
click to vote
ISORC
2006
IEEE
16 years 25 days ago
2006
IEEE
Automatic memory management or garbage collection greatly simplifies the development of large systems. However, garbage collection is usually not used in real-time systems due to...
182
click to vote
ISORC
2005
IEEE
16 years 12 days ago
2005
IEEE
Heuristic algorithms have enjoyed increasing interests and success in the context of Utility Accrual (UA) scheduling. However, few analytical results, such as bounds on task-level...
153
click to vote
ARCS
2005
Springer
16 years 11 days ago
2005
Springer
In this contribution we present a novel general model for adaptive processors with organic features. We describe its basic principle of operation. The adaptive operations that are ...