683 search results - page 94 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
125
click to vote
SCP
2010
15 years 10 days ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
134
click to vote
ICIAP
2007
ACM
16 years 2 months ago
2007
ACM
In this paper we explore the interlink between temporally dense view-based object recognition and sparse image representations with local keypoints. The temporal component is an a...
120
click to vote
ISCIS
2004
Springer
15 years 7 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
110
click to vote
DBPL
1993
Springer
15 years 6 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
112
click to vote
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...