2410 search results - page 266 / 482 » Multiset Ordering Constraints |
176
click to vote
ICTAC
2005
Springer
16 years 2 hour ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
160
click to vote
JSAI
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...
127
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Model-Driven Engineering (MDE) advocates the generation of software applications from models, which are views on certain aspects of the software. In order to minimize the delta bet...
136
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
182
click to vote
SOCO
2005
Springer
15 years 12 months ago
2005
Springer
Due to the large success of wireless networks and portable devices, the pervasive computing paradigm is becoming a reality. One of the most challenging objectives to be achieved in...