1699 search results - page 248 / 340 » On the Expressive Power of QLTL |
130
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
153
click to vote
CHI
2010
ACM
16 years 28 days ago
2010
ACM
A cord, although simple in form, has many interesting physical affordances that make it powerful as an input device. Not only can a length of cord be grasped in different location...
179
click to vote
TEI
2010
ACM
16 years 28 days ago
2010
ACM
Creativity, collaboration, and cultural understanding are becoming increasingly important in our workplace and society. As educators, we are therefore challenged to create new opp...
146
Voted
ICDE
2009
IEEE
16 years 27 days ago
2009
IEEE
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...
160
click to vote
LATA
2009
Springer
16 years 26 days ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...