11722 search results - page 192 / 2345 » How Developers Develop Features |
110
click to vote
PDSE
1998
15 years 3 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
ENTCS
2008
15 years 2 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
150
click to vote
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
109
click to vote
ACMACE
2006
ACM
15 years 8 months ago
2006
ACM
In recent years 3D virtual characters have become more common in desktop interfaces, particularly in gaming and entertainment applications. In this paper we describe how augmented...
DEXA
2004
Springer
15 years 8 months ago
2004
Springer
This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment usi...