8828 search results - page 1489 / 1766 » Formal methods in practice |
177
click to vote
MYCRYPT
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we produce a practical and efficient algorithm to find a decomposition of type n = k i=1 2si 3ti , si, ti ∈ N ∪ {0} with k ≤ c + o(1) ¡ log n log log n ....
154
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
175
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
168
click to vote
VLDB
2005
ACM
16 years 6 days 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...
145
click to vote
XPU
2005
Springer
16 years 6 days ago
2005
Springer
Introducing Extreme Programming (XP) to an industrial software development team usually involves technical and professional aspects as well as social and organizational ones. The i...