Sciweavers

2370 search results - page 137 / 474
» On the Revival of Dynamic Languages
Sort
View
CADE
2006
Springer
16 years 6 months ago
Specifying and Reasoning About Dynamic Access-Control Policies
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
Daniel J. Dougherty, Kathi Fisler, Shriram Krishna...
KBSE
2008
IEEE
16 years 13 days ago
A Framework for Dynamic Service Discovery
- Service discovery has been recognised as an important activity for service-based systems. In this paper we describe a framework for dynamic service discovery that supports the id...
Andrea Zisman, George Spanoudakis, James Dooley
ICALP
2005
Springer
15 years 11 months ago
Dynamic Bin Packing of Unit Fractions Items
This paper studies the dynamic bin packing problem, in which items arrive and depart at arbitrary time. We want to pack a sequence of unit fractions items (i.e., items with sizes ...
Wun-Tat Chan, Tak Wah Lam, Prudence W. H. Wong
MHCI
2005
Springer
15 years 11 months ago
Dynamic generation of web migratory interfaces
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
Renata Bandelloni, Giulio Mori, Fabio Patern&ograv...
WIESS
2000
15 years 7 months ago
Dynamic Memory Management with Garbage Collection for Embedded Applications
A software system can be called a safe-system with respect to memory, when it supports only strong-typing and it does not allow for the manual disposal of dynamic memory [2]. The ...
Roberto Brega, Gabrio Rivera