369 search results - page 67 / 74 » An Automatic Connector Generation Method for Dynamic Archite... |
TREC
2007
13 years 8 months ago
2007
In this paper we present a system which uses ontological resources and a gene name variation generation tool to expand concepts in the original query. The novelty of our approach ...
ESOP
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
DATE
2010
IEEE
14 years 12 days ago
2010
IEEE
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
PG
2003
IEEE
14 years 18 days ago
2003
IEEE
In this paper we revisit the cells-and-portals visibility methods, originally developed for the special case of architectural interiors. We define an effectiveness measure for a ...
DSOM
2003
Springer
14 years 16 days ago
2003
Springer
TrustedFlow™ is a software solution to the problem of remotely authenticating code during execution. A continuous flow of idiosyncratic signatures assures that the software from ...