3564 search results - page 331 / 713 » Evaluating a Formal Modelling Language |
133
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
146
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...
130
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
123
click to vote
DSD
2006
IEEE
15 years 10 months ago
2006
IEEE
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
131
click to vote
ALDT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose various models for lobbying in a probabilistic environment, in which an actor (called “The Lobby”) seeks to influence the voters’ preferences of voting ...