4476 search results - page 609 / 896 » A flexible framework for engineering |
139
click to vote
FSTTCS
2007
Springer
16 years 25 days ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
157
click to vote
KI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
177
click to vote
SOCO
2007
Springer
16 years 23 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...
165
click to vote
IAT
2006
IEEE
16 years 21 days ago
2006
IEEE
A key property of agents is that they are social, and hence the design of agent interactions is a crucial part of an agentoriented software engineering methodology. Agent interact...
150
click to vote
CODES
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identification problem. An algorithm that iteratively generates and solves a set...