2036 search results - page 8 / 408 » A generic type-and-effect system |
91
Voted
JITECH
2008
15 years 12 days ago
2008
In recent years, enterprise system (ES) software markets have been very dynamic. While contemporary customers are increasingly seeking ES solutions that require less and less cust...
121
click to vote
VLDB
2002
ACM
15 years 2 days ago
2002
ACM
Accurate prediction of operator execution time is a prerequisite for database query optimization. Although extensively studied for conventional disk-based DBMSs, cost modeling in ...
85
Voted
AAI
2006
15 years 15 days ago
2006
Multi-agent systems are well suited for building large software systems. A great deal of these complex systems includes process flows that are concerned with time or are even time...
189
click to vote
POPL
2001
ACM
16 years 22 days ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
ICIAP
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. Line matching across images taken by a central imaging system (perspective or catadioptric) with focus on short baseline motion of the system is proposed. The relationshi...