3663 search results - page 90 / 733 » Problems in the ontology of computer programs |
EGOV
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. If co-operating government agencies reside in different countries, they will differ in many respects: administrative ontologies and laws, political context, administrativ...
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
RTSS
1999
IEEE
15 years 2 months ago
1999
IEEE
The problem of maximizing system utility by allocating a single finite resource to satisfy discrete Quality of Service (QoS) requirements of multiple applications along multiple Q...
SIAMJO
2008
14 years 9 months ago
2008
Many optimization problems are naturally delivered in an uncertain framework, and one would like to exercise prudence against the uncertainty elements present in the problem. In pr...
FOCS
1998
IEEE
15 years 2 months ago
1998
IEEE
The speed of many computations is limited not by the number of arithmetic operations but by the time it takes to move and rearrange data in the increasingly complicated memory hie...