4460 search results - page 330 / 892 » Formal methods for interactive systems |
185
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
173
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
Physically-based modeling has been used in the past to support a variety of interactive modeling tasks including free-form surface design, mechanism design, constrained drawing, a...
229
click to vote
IADIS
2003
15 years 8 months ago
2003
Today’s users want to access their data everywhere and any time – in various environments and occasions. The data itself can be very complex – the problem is then in providi...
191
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
230
click to vote
GPCE
2007
Springer
16 years 26 days ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...