1715 search results - page 260 / 343 » How Space Structures Language |
106
Voted
APWEB
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Essential to an audience driven website design philosophy is the organization of information and functionality according to the requirements of the different audience cla...
104
click to vote
DEON
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
113
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
111
Voted
ERSHOV
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
123
Voted
MCS
2006
Springer
15 years 2 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...