2588 search results - page 78 / 518 » Engineering Systems Which Generate Emergent Functionalities |
146
click to vote
MOBIDE
2006
ACM
15 years 10 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
118
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The functional characteristics of market-based solutions are typically best observed through the medium of simulation, data-gathering and subsequent visualization. We previously d...
116
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract. Today’s software systems have to deal with an increasing diversity and complexity of execution environments. Next generation applications will have to deal with the unk...
135
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
133
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...