2702 search results - page 455 / 541 » Practically Applicable Formal Methods |
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
The skyline operator is important for multicriteria decision making applications. Although many recent studies developed efficient methods to compute skyline objects in a specifi...
DNA
2004
Springer
14 years 1 months ago
2004
Springer
Practically all of life’s molecular processes, from chemical synthesis to replication, involve enzymes that carry out their functions through the catalysis of metastable fuels in...
HUC
2004
Springer
14 years 1 months ago
2004
Springer
Location estimation is an important part of many ubiquitous computing systems. Particle filters are simulation-based probabilistic approximations which the robotics community has ...
ICSE
2009
IEEE-ACM
14 years 24 days ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
WOSP
2000
ACM
14 years 16 days ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...