10575 search results - page 1575 / 2115 » T2Script Programming Language |
177
click to vote
CP
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
169
click to vote
GPCE
2005
Springer
16 years 19 days ago
2005
Springer
Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other m...
175
click to vote
ICALP
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...
207
click to vote
ICALP
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
142
click to vote
IFIP
2005
Springer
16 years 19 days ago
2005
Springer
As Linux kernel-based operating systems gain market share there will be an inevitable increase in Linux systems that law enforcement agents must process at cybercrime scenes. The ...